Annonce

Download

annonce@lrde.epita.fr

October 2005

3 participants
2 discussions

Re: [Annonce] Publication: C-Transformers - A Framework to Write C Program Transformations
by Roland Levillain 25 Oct '05

25 Oct '05

>>>>> "Akim" == Akim Demaille <akim(a)lrde.epita.fr> writes: Akim> Accepté dans l'ACM Crossroads de printemps 2006. Akim> C-Transformers - A Framework to Write C Program Transformations Akim> A. Borghi, V. David, A. Demaille Akim> https://publis.lrde.epita.fr/200510-Crossroads Congratulations!

2 1

[Annonce] Publication: C-Transformers - A Framework to Write C Program Transformations
by Akim Demaille 24 Oct '05

24 Oct '05

Accepté dans l'ACM Crossroads de printemps 2006. C-Transformers - A Framework to Write C Program Transformations A. Borghi, V. David, A. Demaille https://publis.lrde.epita.fr/200510-Crossroads Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation of compilers and interpreters, but with modularity as a design philosophy, they also permit the seamless extension of the syntax and semantics of existing programming languages. The C-Transformers project provides a transformation environment for C, a language that proves to be hard to transform. We demonstrate the effectiveness of C-Transformers by extending C's instructions and control flow to support Design by Contract. C-Transformers is developed by members of the LRDE: EPITA undergraduate students.

1 0