Incremental on-line type inference
By:  Thomas L. Robinson
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1994
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 58
Description: 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.
Notes: Thesis advisor(s): Dennis M. Volpano.

"March 1994."

Thesis (M.S. in Computer Science) Naval Postgraduate School, March 1994.

Includes bibliographical references.

Approved for public release; distribution unlimited.

Also available online.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat Reader.

US Navy (USN) author.