A note on files in pascal

DOI10.1007/BF01932158MaRDI QIDQ4140358zbMATH OpenFDO

Authors Robert D. Tennent

Publication date 1977

Published in BIT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01932158

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• An axiomatic definition of the programming language Pascal
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• scientific article; zbMATH DE number 3584897 (Why is no real title available?)
• scientific article; zbMATH DE number 3336382 (Why is no real title available?)
• Language design methods based on semantic principles
• The design of a pascal compiler

Cited in

(1)

• Instruction sequence processing operators

This page was built for publication: A note on files in pascal

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