Programming, transforming, and proving with function abstractions and memories

This publication has 5 references indexed in Scilit:

• Axiomatizing operational equivalence in the presence of side effects
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A basic Abstract Semantic Algebra
  Published by Springer Nature ,1984
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• Definitional interpreters for higher-order programming languages
  Published by Association for Computing Machinery (ACM) ,1972
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964