Accession Number : ADA305588

Title :   A Note on Typing Variables and References.

Descriptive Note : Final rept.,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Volpano, Dennis ; Smith, Geoffrey

PDF Url : ADA305588

Report Date : FEB 1996

Pagination or Media Count : 12

Abstract : We consider the polymorphic typing of variables and references with C's address-of operator '&' in the context of nonweak types. A natural semantics and type system are given for a polymorphically-typed imperative language with first class functions. The type system is proved sound with respect to the natural semantics. (AN)

Descriptors :   *PROGRAMMING LANGUAGES, COMPUTER LOGIC, SEMANTICS, VARIABLES, OPERATORS(MATHEMATICS), SYNTAX, POLYMORPHISM.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE