A system which automatically improves programs
From MaRDI portal
Publication:1224418
DOI10.1007/BF00263742zbMath0323.68008MaRDI QIDQ1224418
Rod M. Burstall, John Darlington
Publication date: 1976
Published in: Acta Informatica (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items
Total unfolding: theory and applications, Efficient memo-table management strategies, Program transformation by solving equations, Synthetic programming, Mixed computation: potential applications and problems for study, Output driven interpretation of recursive programs, or writing creates and destroys data structures, Extraction and verification of programs by analysis of formal proofs, Stack and locally finite transformations on structures with reversible transitions, Unnamed Item, An axiomatic approach to the Korenjak-Hopcroft algorithms, La fonction d'Ackermann : un nouveau mode de dérécursivation, Infinite trees in normal form and recursive equations having a unique solution, Unnamed Item, A case study in program transformation