On a new approach to representation independent data classes

DOI10.1007/BF00271340MaRDI QIDQ1234589zbMATH OpenFDO

Authors Robert D. Tennent

Publication date 1977

Published in Acta Informatica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• Design and implementation of modula
• scientific article; zbMATH DE number 3540358 (Why is no real title available?)
• scientific article; zbMATH DE number 3584897 (Why is no real title available?)
• scientific article; zbMATH DE number 3431773 (Why is no real title available?)
• Proof of a structured program: 'The sieve of Eratosthenes'
• Proof of correctness of data representations
• Protection in programming languages
• Some ideas on data types in high-level languages

Cited in

(1)

• A theory of type polymorphism in programming

Describes a project that uses

Uses Software

• Modula

This page was built for publication: On a new approach to representation independent data classes

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