scientific article; zbMATH DE number 1956524

MaRDI QIDQ4417870zbMATH OpenFDO

Authors Eugenio Moggi, Sonia Fagorzi

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200358.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• MetaML and multi-stage programming with explicit annotations
• Implicitly heterogeneous multi-stage programming
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Experiences with an object-oriented, multi-stage language
• Reasoning about multi-stage programs

Cited in

(13)

• MetaML and multi-stage programming with explicit annotations
• Incorporating quotation and evaluation into Church's type theory
• Type-specialized staged programming with process separation
• Implicitly heterogeneous multi-stage programming
• Experiences with an object-oriented, multi-stage language
• scientific article; zbMATH DE number 1612494 (Why is no real title available?)
• scientific article; zbMATH DE number 1612495 (Why is no real title available?)
• Structuring operational semantics: simplification and computation
• A Church-style intermediate language for ML\(^{\text F}\)
• An abstract monadic semantics for value recursion
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• A metalanguage for guarded iteration
• Constructive linear-time temporal logic: proof systems and Kripke semantics

This page was built for publication:

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