scientific article; zbMATH DE number 3890697

MaRDI QIDQ3347253zbMATH OpenFDO

Authors Ch. Crasemann, Hans Langmaack

Publication date 1984

zbMATH Keywords

ALGOL60-like programming languagescall-by-name static scope semantics

Mathematics Subject Classification ID

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

Recommendations

• An approach to deciding the observational equivalence of Algol-like languages
• scientific article; zbMATH DE number 4104365
• On the algebraic definition of programming languages
• scientific article; zbMATH DE number 3963181
• scientific article; zbMATH DE number 3890710
• Algebraic processing of programming languages
• An algebraic approach to semantics of programming languages
• On the algebraic structure of declarative programming languages
• An algebraic model for programming languages
• scientific article; zbMATH DE number 1670817

Cited in

(8)

• scientific article; zbMATH DE number 3345161 (Why is no real title available?)
• scientific article; zbMATH DE number 3858395 (Why is no real title available?)
• Elementary data structures in ALGOL-like languages
• scientific article; zbMATH DE number 3848594 (Why is no real title available?)
• Procedural operators considered as fundamental programming devices
• On Revival of Algol-Concepts in Modern Programming and Specification Languages
• The unwind property for programs with bounded memory
• Necessary and sufficient conditions for the universality of programming formalisms

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