Article contents
Action semantics reasoning about functional programs
Published online by Cambridge University Press: 01 October 1997
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- 1997 Cambridge University Press
- 1
- Cited by