This page contains all sources and data in the experiment reported in
the paper "Threaded Language as a form of Partial Evaluator" submitted
to NCSEC 2007 for a review.
The machine code used in the experiment is based on s-code virtual
machine (Som v 2.4). The TL interpreter is written in this
machine language. I wrote a very simple assembler for it,
zero-assembler. The assembler includes a routine "gensym.c" to
generate "symbol table" for Threaded language interpreter to facilitate
The tools are: zero-assembler, s-code virtual machine.
The source of TL :
version 1 a basic evaluator
version 2 with higher order functions extension
version 3 with local variables extension
version 4 with partial evaluation
last update 11 September 2007