COSY: A Revolution in Compiler Construction ESPRIT Project COMPARE WWW Home Page
Cosy (Ace)Smart (GMD)Prepare Esprit
ProjectSlides of a talk given in French by Martin Jourdan at IRISA
on November 21, 1995 (tar-gziped PostScript,
422 kb)Didier PARIGOT
In the context of the Esprit project COMPARE, more than 50 000 lines of specification in FNC-2 were written and used to establish the back-end of a C compiler (sparc) to integrate on COSY compiler system. This back-end was defined using the meta code generator PAGODE.
The Cosy version of FNC-2 corresponds the version of COSY compiler system at the end of COMPARE project (1996). Thus this version fSDL of FNC-2 does not make start from the standard distribution of FNC-2, but the work of update of this version does not seem to require an insurmountable work.
COSY: A Revolution in Compiler Construction ESPRIT Project COMPARE WWW Home Page
Cosy (Ace)Smart (GMD)Prepare Esprit
ProjectSlides of a talk given in French by Martin Jourdan at IRISA
on November 21, 1995 (tar-gziped PostScript,
422 kb)
List of Papers
© Copyright Notice:
The documents distributed by this server have been provided by the
contributing authors as a means to ensure timely dissemination of scholarly
and technical work on a noncommercial basis. Copyright and all rights
therein are maintained by the authors or by other copyright holders,
notwithstanding that they have offered their works here electronically. It is
understood that all persons copying this information will adhere to the
terms and constraints invoked by each author's copyright. These works
may not be reposted without the explicit permission of the copyright
holder.
Updated on Fri Aug 22 10:25:27 1997