scientific article; zbMATH DE number 3963176

MaRDI QIDQ3731016zbMATH OpenFDO

Authors Véronique Royer

Publication date 1985

zbMATH Keywords

compiler generationcontrol structuresdenotational semanticsprocedure declarationsstack semantic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4066297
• scientific article; zbMATH DE number 4043222
• scientific article; zbMATH DE number 3947597
• scientific article; zbMATH DE number 3960977
• Stack method in program semantics

Cited in

(4)

• Stack method in program semantics
• Combinator-based compilation of recursive functions with different parameter passing modes
• scientific article; zbMATH DE number 4043222 (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 Q3731016)