Equality in lazy computation systems
Proceedings of the Fourth Annual Symposium on Logic in computer science
Unified algebras and institutions
Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads
Information and Computation
Research topics in functional programming
Action semantics
Functional programming and input/output
Functional programming and input/output
From Operational to Denotational Semantics
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
Theory and Practice of Action Semantics
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Action Transformations in the ACTRESS Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
OASIS: An Optimizing Action-Based Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
| Hi-index | 0.00 |
This paper develops the functional part of a theory of action semantics for reasoning about programs. Action notation, the specification language of action semantics, is given an evaluation semantics, and operational techniques from process theory and functional programming are applied in the development of a versatile action theory. The power of the theory is demonstrated by means of action semantic proofs of functional program equivalences.