Program Improvement by Source-to-Source Transformation

DOI10.1145/321992.322000MaRDI QIDQ4131617zbMATH OpenOpenAlexFDO

Authors David B. Loveman

Publication date 1977

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321992.322000

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25)

Cited in

(8)

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• The method of attributes for data flow analysis. I: Exhaustive analysis
• Efficient symbolic analysis of programs
• Synthetic programming
• An algebraic definition for control structures
• A note on a fast algorithm for sparse matrix multiplication
• On correct refinement of programs
• Correctness of the compiling process based on axiomatic semantics

This page was built for publication: Program Improvement by Source-to-Source Transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4131617)