Proof Of Program Transformations
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 223-230
- https://doi.org/10.1109/hol.1991.596289
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Refinement concepts formalised in higher order logicFormal Aspects of Computing, 1990
- Compiler generation from relational semanticsPublished by Springer Nature ,1986
- Automating the Transformational Development of SoftwareIEEE Transactions on Software Engineering, 1985
- Algebraic Methods for Program Construction: The Project CIPPublished by Springer Nature ,1984
- Program developmentsCommunications of the ACM, 1983
- Semantics of nondeterministic and noncontinuous constructsPublished by Springer Nature ,1979
- Systematics of transformation rulesPublished by Springer Nature ,1979