The origins of structural operational semantics
Top Cited Papers
- 1 July 2004
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 60-61, 3-15
- https://doi.org/10.1016/j.jlap.2004.03.009
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Lambda-calculus schemataHigher-Order and Symbolic Computation, 1993
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- Ten years of Hoare's logic: A survey— part II: NondeterminismTheoretical Computer Science, 1983
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- A cook's tour of countable nondeterminismPublished by Springer Nature ,1981
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic EnvironmentSIAM Journal on Computing, 1980
- Nondeterminism and fully abstract modelsRAIRO. Informatique théorique, 1980
- A Model for Control Structures for Artificial Intelligence Programming LanguagesIEEE Transactions on Computers, 1976
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Random-Access Stored-Program Machines, an Approach to Programming LanguagesJournal of the ACM, 1964