An algebraic model of von Neumann programming languages

MaRDI QIDQ1059999zbMATH OpenFDO

Authors S. S. Gajsaryan, Alexey L. Lastovetsky

Publication date 1984

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

modeling of von Neumann programming languagesprogram abstraction

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• An algebraic approach to semantics of programming languages
• An algebraic model for programming languages
• A theoretical model of a high-level programming language
• scientific article; zbMATH DE number 2186295
• scientific article; zbMATH DE number 3936467

Cited in

(7)

• An abstract compiler model as a result of the algebraic semantics of a programming language
• Concept of the abstract program
• scientific article; zbMATH DE number 2186295 (Why is no real title available?)
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• A theoretical model of a high-level programming language
• Programming an interpreter using molecular dynamics
• An algebraic model for programming languages

This page was built for publication: An algebraic model of von Neumann programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1059999)