Program Improvement by Source-to-Source Transformation
From MaRDI portal
Publication:4131617
DOI10.1145/321992.322000zbMath0359.68016OpenAlexW2077265102MaRDI QIDQ4131617
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
Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)
Related Items
Efficient symbolic analysis of programs, Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study, Correctness of the compiling process based on axiomatic semantics, An algebraic definition for control structures, On correct refinement of programs, The method of attributes for data flow analysis. I: Exhaustive analysis, Synthetic programming, A note on a fast algorithm for sparse matrix multiplication
