CTAL_0 is an extension of Typed Assembly Language, and an experimental C compiler that generates CTAL0 assembly code.
Usage:
1. First, download the source code and extract it.
2. Next, make in ctalz-software directory.
3. The compiler can be invoked by shell script ctc. If compilation succeeds, it will generate a CTAL0 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".
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
Product's homepage
Requirements:
· Java 1.5 or later
· Parser generator jay
· Lexical analyzer generator jflex
· Theorem prover CVC Lite
· Mac OS X, Linux, or cygwin (Windows) running on Intel x86-compatible processor
· GNU assembler
· The Boehm-Demers-Weiser conservative garbage collector
Find us on Google+
