scientific article; zbMATH DE number 4050967

MaRDI QIDQ3787457zbMATH OpenFDO

Authors Neil D. Jones, Peter Sestoft, Harald Søndergaard

Publication date 1988

zbMATH Keywords

compiler generationcompilingmix systemmixed computationpartial evaluationprogram transformation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3940700
• scientific article; zbMATH DE number 42475
• From partial evaluation to mixed computation
• Mixed computation and compilation: New approaches to old problems
• A self-applicable partial evaluator and its use in incremental compilation

Cited in

(12)

• Mixed computation of Prolog programs
• A self-applicable partial evaluator and its use in incremental compilation
• Static semantics, types, and binding time analysis
• Bootstrapping compiler generators from partial evaluators
• scientific article; zbMATH DE number 3940700 (Why is no real title available?)
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• scientific article; zbMATH DE number 815068 (Why is no real title available?)
• Synthesizing program generators for embedded software
• The compiler forest
• The second Futamura projection for type-directed partial evaluation
• From partial evaluation to mixed computation
• Mixed computation and compilation: New approaches to old problems

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 Q3787457)