CTAL_0CTAL_0 is an extension of Typed Assembly Language, and an experimental C compiler that generates CTAL0 assembly code. | |
Download |
CTAL_0 Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Takahiro Kosakai
- Publisher web site:
- http://www.yl.is.s.u-tokyo.ac.jp/~kosakai/ctalz/
CTAL_0 Tags
CTAL_0 Description
CTAL_0 is an extension of Typed Assembly Language, and an experimental C compiler that generates CTAL0 assembly code. 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 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
CTAL_0 Related Software