Composing programming languages by combining action-semantics modules

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

Action semantics

Choice Reviews Online · 1993 · 176 citations

Language design methods based on semantic principles

R. D. Tennent · Acta Informatica · 1977 · 84 citations

Computing, Computer Science, Design +14

Theory and Practice of Action Semantics

Peter D. Mosses · BRICS Report Series · 1996 · 68 citations · Full text

Language Studies, Computer Science, Pragmatics +7