next up previous

Final Report of the COST-247 Action

Overview of the CAESAR.ADT abstract data type compiler

Hubert Garavel

INRIA Rhone-Alpes / Dyade
655, avenue de l'Europe
tel: +(33) 4 76 61 52 24
fax: +(33) 4 76 61 52 52


We present the architecture and functioning principles of the CAESAR.ADT compiler. CAESAR.ADT (automatically) translates a subset of the data part of LOTOS into executable C code. The class of accepted LOTOS programs is very similar to the class of "computable data types" described by Charles Pecheur. LOTOS sorts are translated into C types using algorithms that can select efficient data representations for common types such as enumerated types, records, integers, etc. LOTOS operations are translated into C functions using a pattern- matching compiling algorithm proposed by Schnoebelen, which compiles the equations into deterministic C code (basically "if-then-else's" and recursive function calls). We present the successive mutations of the compiler since 1988, its applicability to large-size case studies, and the on-going developments.

This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).

COST-247 Working Group(s): 1

Web links:

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page