Hierarchical development of programming languages

DOI10.1007/BF02576358zbMath0477.68015MaRDI QIDQ1161053

Marco Bellia

Publication date: 1981

Published in: Calcolo (Search for Journal in Brave)

zbMATH Keywords

large software systemshigh level programming languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• Find
• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing in systems described by equations
• Complementary definitions of programming language semantics
• Symbolic execution and program testing
• The denotational semantics of programming languages
• Initial Algebra Semantics and Continuous Algebras
• Fortran 77
• Abstract data types and software validation
• A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Proof of a program
• Programming languages

This page was built for publication: Hierarchical development of programming languages