Program Improvement by Source-to-Source Transformation

DOI10.1145/321992.322000zbMATH Open0359.68016OpenAlexW2077265102MaRDI QIDQ4131617FDOQ4131617

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)