Interpreter and Compiler of the ISO Standard Lisp ISLISP

摘要

ISLISP is the ISO standard Lisp language. We implemented its interpreter and compiler, called the TISL system. In this paper, after explaining an outline of the TISL system, we report its experimental results, using Gabriel benchmark programs. The TISL system is implemented in the C language so as to allow TISL portable for various PCs and workstations. The TISL interpreter first transforms a form into intermediate codes, and the resultant in- termediate codes will be actually interpreted and executed. The TISL compiler is realized as a compiling function that can be invoked under the interpreter and it compiles intermediate codes into C programs. For efficient implementations of object-oriented features of ISLisp we introduce "type inference" in implementing generic functions. Compared to OpenLisp (an ISLISP interpreter), the TISL interpreter is 1.3 ～ 3.3 times faster than OpenLisp, and the TISL compiler i8 1.0 ～ 5.5 times faster than the TISL interpreter.