Abstract | ||
---|---|---|
. In this paper we describe progress towards a theory of tranformationalprogram development. The transformation rules are basedon a theory of contextual equivalence for functional languages with imperativefeatures. Such notions of equivalence are fundamental for theprocess of program specification, derivation, transformation, refinementand other forms of code generation and optimization. This paper is dedicatedto Professor Satoru Takasu.1 IntroductionThis paper describes progress... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/BFb0032403 | Logic, Language and Computation |
Keywords | Field | DocType |
code generation,functional language | Programming language,Program transformation,Functional programming,Computer science,Code generation,Program development,Equivalence (measure theory),Region-based memory management,Program specification | Conference |
Citations | PageRank | References |
2 | 0.38 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ian A. Mason | 1 | 797 | 97.47 |
Carolyn Talcott | 2 | 1922 | 168.73 |