The Nimble Type Inferencer for Common Lisp-84

The Nimble Type Inferencer for Common Lisp-84 (1990)

Cached

Download Links

[ftp.netcom.com]

by Henry Baker Nimble , Henry G. Baker

Venue:

Tech. Rept., Nimble Comp

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Nimble Type Inferencer for Common Lisp-84	INFERENCE
AUTHOR NAME	Henry Baker Nimble	user correction - Legacy Corrections
AUTHOR NAME	Henry G. Baker	user correction - Legacy Corrections
AUTHOR AFFIL	Nimble Computer Corporation	user correction - Legacy Corrections
AUTHOR ADDR	16231 Meadow Ridge Way, Encino, CA 91436	user correction - Legacy Corrections
ABSTRACT	data types model the semantic intent of the programmer with respect to individual variable values, so that global properties of these individual values (e.g., evenness or primeness of an integer value) are maintained. The assert construct allows for the specification of complex relationships among several variables. However, since we are interested in improving run-time efficiency, we will assume that the program is already semantically correct, and will therefore concern ourselves only with the determination of tight lattice bounds on the values of variables. Performing type inference requires proving many small theorems about programs, and therefore runs the risk of being confused with the more difficult task of theorem-proving for the purpose of proving programs correct relative to some external criteria. While some of the techniques may be similar to both tasks, the goals are completely different. For example, it is considered acceptable and routine for correctness provers to inte...	user correction - Legacy Corrections
YEAR	1990	INFERENCE
VENUE	Tech. Rept., Nimble Comp	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
PAGES	3	INFERENCE
TECH	Tech. Report	INFERENCE
CITATIONS	51 found	ParsCit 1.0