On a new approach to representation independent data classes

DOI10.1007/BF00271340zbMath0348.68017MaRDI QIDQ1234589

Robert D. Tennent

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

A theory of type polymorphism in programming

Uses Software

• Modula

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof of correctness of data representations
• Design and implementation of modula
• Some ideas on data types in high-level languages
• Protection in programming languages
• Proof of a structured program: 'The sieve of Eratosthenes'

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