Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference14 articles.
1. P. Pepper (ed.), Program Transformation and Programming Environments. Springer-Verlag, 1984.
2. L. G. L. T. Meertens (ed.), Program Specification and Transformation. North-Holland, 1987.
3. J. Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs.CACM,21:8 (1978), 613–641.
4. F. Bellegarde, Convergent Term Rewriting Systems Can be Used for Program Transformation. inProgram as Data Objects, H. Ganzinger and N. D. Jones eds., Springer-Verlag, 1986.
5. J. Darlington, The Structured Description of Algorithm Derivations, inAlgorithmic Languages, de Bakker and van Vliet eds., IFIP, North-Holland, 1981, 221–250.