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):

Report Date:

1996-02-01

Pagination or Media Count:

12.0

Abstract:

We consider the polymorphic typing of variables and references with Cs 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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE