Accession Number:

ADA281893

Title:

Type Inference with Overloading Using an Attribute Grammar

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

• Bull, Bruce J.

Report Date:

1994-03-01

Pagination or Media Count:

51.0

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.

Descriptors:

• *COMPUTER PROGRAMMING
• *HIGH LEVEL LANGUAGES
• ALGORITHMS
• THESES
• SYSTEMS ANALYSIS
• FIELDS(COMPUTER PROGRAMS)
• DEBUGGING(COMPUTERS)
• POLYMORPHISM
• GRAMMARS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE