You are here
A Typing System for an Optimizing Multiple-Backend Tcl Compiler
This paper describes the typing system used by the ICE 2.0 Tcl compiler [Rouse]. The typing system tracks the usage of variables and allows the compiler to reduce the number of instructions required to carry out Tcl instructions. It will also allow future improvements in code emission by making it possible to carry out standard compiler analyses and optimizations [Aho].