Specifications can make programs run faster

DOI10.1007/3-540-56610-4_66MaRDI QIDQ5044738zbMATH OpenOpenAlexFDO

Authors Mark T. Vandevoorde

Publication date 2 November 2022

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

Full work available at URL https://doi.org/10.1007/3-540-56610-4_66

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification, verification and prototyping of an optimized compiler
• scientific article; zbMATH DE number 4176425
• Compiler optimization correctness by temporal logic
• scientific article; zbMATH DE number 2080281
• scientific article; zbMATH DE number 1418459

Cites work

• scientific article; zbMATH DE number 4050933 (Why is no real title available?)
• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• The program dependence graph and its use in optimization

Cited in

(1)

• scientific article; zbMATH DE number 4155859 (Why is no real title available?)

Describes a project that uses

Uses Software

• LARCH

This page was built for publication: Specifications can make programs run faster

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