Accession Number:

ADA280991

Title:

Incremental On-Line Type Inference

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1994-03-01

Pagination or Media Count:

66.0

Abstract:

Type inference in interactive programming environments falls short in two respects. The ability to type check definitions one at a time, and to type check some definitions but not all after one definition is modified is called incremental on-line type inference. Current interactive programming environments perform batch type inference and require extensive type recomputation for small changes. We give an algorithm for on-line type inference that is implemented as an attribute grammar. From this grammar an editor was automatically generated that performs on-line type inference. The editor infers types incrementally due to a well-known reduction we used from Hindley-Milner type inference to first- order unification. Unlike other efforts, our algorithm for on-line type inference is truly incremental. Software, On-line Type Inference, Interactive Programming Environments.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE