The Euclid Language

• 1 January 1978
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 111-115
• https://doi.org/10.1145/800127.804077

Abstract

Keywords

• ALIASING
• DATA ENCAPSULATION
• EUCLID
• LANGUAGE
• LEGALITY ASSERTIONS
• MACHINE DEPENDENCIES
• PARAMETERIZED TYPES
• PASCAL
• RELIABILITY
• STORAGE ALLOCATION
• SYSTEMS PROGRAMMING
• VERIFICATION
• VISIBILITY OF NAMES