Program Improvement by Source-to-Source Transformation
From MaRDI portal
Publication:4131617
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)