Two-level languages for program optimization

DOI10.1016/J.TCS.2003.11.013MaRDI QIDQ1826626zbMATH OpenOpenAlexFDO

Authors Cristiano Calcagno

Publication date 6 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2003.11.013

zbMATH Keywords

SemanticsPartial evaluationProgram generation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231578
• Two-Level Functional Languages
• Two-level semantics and code generation
• Two-level semantics and abstract interpretation
• scientific article; zbMATH DE number 3938527

Cites work

• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 1189299 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1231578 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 2018582 (Why is no real title available?)
• scientific article; zbMATH DE number 1487847 (Why is no real title available?)
• A partial evaluator for the untyped lambda-calculus
• LCF considered as a programming language
• Projection Factorisations in Partial Evaluation
• Two-Level Functional Languages

Cited in

(5)

• Two-level Grammar as a Functional Programming Language
• Two-level semantics and abstract interpretation
• scientific article; zbMATH DE number 3317530 (Why is no real title available?)
• Two-Level Functional Languages
• On display optimization for Algol-like languages

This page was built for publication: Two-level languages for program optimization

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