Type Inference with Overloading Using an Attribute Grammar

Abstract

Interactive programming environments for languages offer many advantages over traditional batch-oriented ones, such as immediate static analysis. One form of analysis is type checking, yet type checking in this setting for languages with common features like overloading has received little attention. We implement an interactive type checker for the polymorphic type system of ML with overloading. The implementation was produced automatically from an attribute grammar using the Synthesizer Generator, an attribute evaluator generator Type inference then is accomplished via attribute evaluation so that if the evaluation is done incrementally, then type inference becomes incremental as well.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1994
Accession Number
ADA281893

Entities

People

  • Bruce J. Bull

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Context Free Grammars
  • Equations
  • Grammars
  • Graphs
  • High Level Languages
  • Language
  • Linguistics
  • Programming Languages
  • Schools
  • Standards
  • United States

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications

Technology Areas

  • AI & ML
  • AI & ML - Neural Networks