Static determination of dynamic properties of generalized type unions

• 1 January 1977
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 12  (3) , 77-94
• https://doi.org/10.1145/800022.808314

Abstract

Keywords

• ALGOL 68
• ABSTRACT INTERPRETATION OF PROGRAMS
• DATA TYPE
• DOMAINS/COLLECTIONS
• EUCLIO
• ERROR DETECTION CAPABILITIES
• INTEGER SUBRANGE TYPE
• PASCAL
• SECURE USE OF POINTERS/VARIANTS OF RECORD STRUCTURES
• SUBTYPE
• SYSTEM OF EQUATIONS
• TYPE SAFETY
• TYPE UNIONS
• TYPE VERIFICATION/DISCOVERY