Two-level languages for program optimization

DOI10.1016/j.tcs.2003.11.013zbMath1072.68030OpenAlexW2045394797MaRDI QIDQ1826626

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

Program generationPartial evaluationSemantics

Mathematics Subject Classification ID

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

Cites Work

• LCF considered as a programming language
• Projection Factorisations in Partial Evaluation
• Two-Level Functional Languages
• A partial evaluator for the untyped lambda-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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