Show simple item record

dc.contributor.advisorVolpano, Dennis M.
dc.contributor.authorRobinson, Thomas Lewis
dc.date.accessioned2013-02-15T23:32:14Z
dc.date.available2013-02-15T23:32:14Z
dc.date.issued1994-03
dc.identifier.urihttp://hdl.handle.net/10945/28281
dc.descriptionApproved for public release; distribution unlimited.en_US
dc.description.abstractType 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 incrementalen_US
dc.description.urihttp://archive.org/details/incrementalonlin00robi
dc.format.extent58 p.;28 cm.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.subject.lcshComputer Scienceen_US
dc.titleIncremental on-line type inferenceen_US
dc.typeThesisen_US
dc.contributor.secondreaderShimeall, Timothy
dc.contributor.corporateNaval Postgraduate School
dc.contributor.schoolNaval Postgraduate School
dc.contributor.departmentComputer Science
dc.description.serviceLieutenant, United States Navyen_US
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record