Experience with the Super Monaco optimizing compiler

DOI10.1016/S0743-1066(96)00051-9zbMATH Open0877.68021WikidataQ123244779 ScholiaQ123244779MaRDI QIDQ4339853FDOQ4339853

Authors: Evan Tick, Bart Massey, James S. Larson 

Publication date: 27 November 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 194119
• scientific article
• A formal development of an efficient supercombination compiler
• Rethinking supercompilation
• The concept of a supercompiler
• Superoptimization in LLVM
• scientific article; zbMATH DE number 1241719
• Specification, verification and prototyping of an optimized compiler

zbMATH Keywords

shared-memory multiprocessorSuper Monaco

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Uses Software

• SICStus

This page was built for publication: Experience with the Super Monaco optimizing compiler

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