On removing the machine from the language

DOI10.1007/BF00264318MaRDI QIDQ1247740zbMATH OpenFDO

Authors Eric C. R. Hehner

Publication date 1978

Published in Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• scientific article; zbMATH DE number 3464796 (Why is no real title available?)
• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3540358 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• A genealogy of control structures
• An axiomatic basis for computer programming
• Proof rules for the programming language Euclid
• Recursive data structures

Cited in

(1)

• Semantics of algorithmic languages

Describes a project that uses

Uses Software

• Modula

This page was built for publication: On removing the machine from the language

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