scientific article; zbMATH DE number 3978369

MaRDI QIDQ3742706zbMATH OpenFDO

Authors Maosong Zheng, Xin Li, Zhisong Tang

Publication date 1985

zbMATH Keywords

intermediate programming languagetemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4050947
• Two-level semantics and abstract interpretation
• Two-level semantics and code generation
• Stack method in program semantics
• Natural semantics-directed generation of compilers and abstract machines

Cited in

(3)

• On the formalization of semantic conventions
• scientific article; zbMATH DE number 4050947 (Why is no real title available?)
• Two-level Grammar as a Functional Programming Language

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