CTAL₀ Implementations

Requirements

• Java 1.5 or later
• Parser generator jay
• Lexical analyzer generator jflex
• Theorem prover CVC Lite
• Mac OS X, Linux, or cygwin (on Windows) running on Intel x86-compatible processor
• GNU assembler
• The Boehm-Demers-Weiser conservative garbage collector

Download

Usage

1. Download the source code and extract it.
2. Type make in ctalz-software directory.
3. The compiler can be invoked by shell script ctc. If compilation succeeds, it will generate a CTAL₀ assembly file with suffix ".cts".
4. The type-checker can be invoked by shell script cttc. If type-checking succeeds, it will generate an x86 assembly file with suffix ".s". This assembly file is to be linked with the GC library.

For example, to compile the sample program test.c, run the following in ctalz-software directory.

$ ./ctc test.c
$ ./cttc test.cts
$ gcc test.s -lgc

Author: Takahiro Kosakai (tkosakai [at] is.s.u-tokyo [dot] ac.jp)