Modular first-order specifications of operational semantics

This publication has 7 references indexed in Scilit:

• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• An experiment in partial evaluation: The generation of a compiler generator
  Lecture Notes in Computer Science, 1985
• An operational semantics for CSP
  Lecture Notes in Computer Science, 1983
• Algebraic denotational semantics using parameterized abstract modules
  Published by Springer Nature ,1981
• On the partial computation principle
  Information Processing Letters, 1977
• Definitional interpreters for higher-order programming languages
  Published by Association for Computing Machinery (ACM) ,1972
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972