A Note on Typing Variables and References.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1996
Accession Number
ADA305588

Entities

People

  • Dennis Volpano
  • Geoffrey B. Smith

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • California
  • Classification
  • Computer Science
  • Computers
  • Language
  • Monitoring
  • Schools
  • Security
  • Semantics
  • Test And Evaluation
  • Words (Language)

Fields of Study

  • Mathematics

Readers

  • Computational Linguistics