Type inference with overloading using an attribute grammar
Bull, Bruce James
Volpano, Dennis M.
Rasmussen, Craig W.
MetadataShow full item record
Interactive programming environment for language 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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Tiller, David C. (Monterey, California. Naval Postgraduate School, 1995-03);This thesis documents the collection and analysis of experimental data used to compare and contrast three methods of evaluating attribute choices that have no natural measurement basis. Attribute choice evaluation is ...
Linnel, Christopher (United States of America as represented by the Secretary of the Navy, Washington, DC (US), 2016-08-16);The present invention is a method for improving functionality of a smart device to perform mobile structured collection and transformation of data includes instantiating an ATAK Session Object having multiple Session ...
Gaspar, Tamas S. (Monterey, California: Naval Postgraduate School, 1999-06);Current defense planning methods do not ensure a direct connection between national security objectives and military tasks. The Strategy-to-Task method provides a framework for solving this deficiency by establishing a ...