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.
Malina, Mary A.; Selto, Frank H. (Monterey, California. Naval Postgraduate SchoolGraduate School of Business and Public Policy, 2005); NPS-AM-05-041The following article is taken as an excerpt from the proceedings of the annual Acquisition Research Program. This annual event showcases the research projects funded through the Acquisition Research Program at the Graduate ...
Use of Attribution and Forensic Science in Addressing Biological Weapon Threats: A Multi-Faceted Study Bidwell, Christopher A.; Bhatt, Kishan (Federation of American Scientists, 2016-02);The threat from the manufacture, proliferation, and use of biological weapons (BW) is a high priority concern for the U.S. Government. As reflected in U.S. Government policy statements and budget allocations, deterrence ...
Stone Bahr, Elizabeth L. (Monterey, California. Naval Postgraduate School, 2007-06);The possibility of an enemy attack using biological weapons (BW) remains one of the biggest threats to U.S. and global security. U.S. defense and deterrence policies are based on the assumption that the perpetrator can ...