TICL : a Type Inference System for Common Lisp

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Ma, Kwan-liu
Title TICL : a Type Inference System for Common Lisp
Date 1989-03
Description Most current Common Lisp compilers generate more efficient code when supplied with data type information. However, in keeping with standard Lisp programming style, most programmers are reluctant to provide type information; they simply allow the run-time type system to manage the data types accordingly. To fill this gap, we have designed and implemented a Type Inference System for Common Lisp (TICL). TICL takes a Lisp program that has been annotated with a few type declarations, adds as many declarations as possible, and produces a type declared program. The compiler can then use this information to generate more efficient code. Measurements indicate that a 20% speed improvement can generally be achieved.
Type Text
Subject compilers; LISP; type interface; TICL
Language eng
Bibliographic Citation Ma, Kl. (1989). TICL : a Type Inference System for Common Lisp.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Format Medium application/pdf
Format Extent 30,313,026 bytes
File Name Ma-TICL_A_Type.pdf
Conversion Specifications Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display
ARK ark:/87278/s6vm6djw
Setname ir_computersa
ID 100867
Reference URL https://collections.lib.utah.edu/ark:/87278/s6vm6djw
Back to Search Results