CTAL_0 CTAL_0 is an extension of Typed Assembly Language, and an experimental C compiler that generates CTAL0 assembly code.
Download

CTAL_0 Ranking & Summary

CTAL_0 Tags

C compiler typed assembly language assembly CTAL0 assembly code Typed

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