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.
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 ...
The design and analysis of a complete entity-relationship interface for the Multi-Backend Database System Goisman, Philip L. (1985-12);Interest in increasing programmer productivity has spawned new software tools . Some of these tools are statistical packages, program generators, and database management systems (DBMS). In the area of DBMS, research 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 ...