scientific article; zbMATH DE number 3960977

MaRDI QIDQ3730004zbMATH OpenFDO

Authors David A. Schmidt

Publication date 1986

zbMATH Keywords

denotational semanticscompilercompiler generationimperative languagedirect semanticslambda codeSECD-like stack machine interpretersingle-threading

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Incorporating static analysis in a combinator-based compiler
• scientific article; zbMATH DE number 3947597
• scientific article; zbMATH DE number 4066297
• scientific article; zbMATH DE number 4050947
• scientific article; zbMATH DE number 4043222

Cited in

(8)

• Combinator-based compilation of recursive functions with different parameter passing modes
• Detecting global variables in denotational specifications
• scientific article; zbMATH DE number 4043222 (Why is no real title available?)
• scientific article; zbMATH DE number 3963176 (Why is no real title available?)
• State-transition machines for lambda-calculus expressions
• Detecting stack-based environments in denotational definitions
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• scientific article; zbMATH DE number 4066297 (Why is no real title available?)

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