Experience with the Super Monaco optimizing compiler

DOI10.1016/S0743-1066(96)00051-9MaRDI QIDQ4339853zbMATH OpenWikidataFDO

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)

zbMATH Keywords

shared-memory multiprocessorSuper Monaco

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 194119
• scientific article; zbMATH DE number 3872663
• 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

Describes a project that uses

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)