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)

Review text

An algebraic approach is proposed to modeling of von Neumann programming languages, based on a program abstraction which considers the computational and functional properties of the program, data types, allocation of data in the program memory, and data initialization.

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

(8)

• A theoretical model of a high-level programming language
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• An algebraic approach to semantics of programming languages
• 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?)
• 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)