Static transition compression

DOI10.1007/3-540-44806-3_6MaRDI QIDQ4445769zbMATH OpenFDO

Authors Daniel Damian, Olivier Danvy

Publication date 2 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2196/21960092.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Correctness of static flow analysis in continuation semantics
• Jump Minimization in Linear Time
• Compilation as refinement
• Incorporating static analysis in a combinator-based compiler
• On static and dynamic control-flow information in program analysis and transformation

Cited in

(1)

• Compression With Actions

This page was built for publication: Static transition compression

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