Difference between revisions of "Publications/borghi.06.crossroads"
From LRDE
| (4 intermediate revisions by the same user not shown) | |||
| Line 24: | Line 24: | ||
number = 3, |
number = 3, |
||
month = <nowiki>{</nowiki>Spring<nowiki>}</nowiki>, |
month = <nowiki>{</nowiki>Spring<nowiki>}</nowiki>, |
||
| − | note = <nowiki>{</nowiki>\url<nowiki>{</nowiki>http://www.acm.org/crossroads/xrds12-3/contractc.html<nowiki>}</nowiki><nowiki>}</nowiki> |
+ | note = <nowiki>{</nowiki>\url<nowiki>{</nowiki>http://www.acm.org/crossroads/xrds12-3/contractc.html<nowiki>}</nowiki><nowiki>}</nowiki>, |
| − | , |
||
abstract = <nowiki>{</nowiki>Program transformation techniques have reached a maturity |
abstract = <nowiki>{</nowiki>Program transformation techniques have reached a maturity |
||
level that allows processing high-level language sources in |
level that allows processing high-level language sources in |
||
Latest revision as of 00:00, 23 August 2017
- Authors
- Alexandre Borghi, Valentin David, Akim Demaille
- Journal
- ACM Crossroads
- Type
- article
- Projects
- Transformers
- Date
- 2005-10-16
Abstract
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.
Documents
Bibtex (lrde.bib)
@Article{ borghi.06.crossroads,
author = {Alexandre Borghi and Valentin David and Akim Demaille},
title = {{C}-{T}ransformers --- {A} Framework to Write {C} Program
Transformations},
journal = {ACM Crossroads},
year = 2006,
volume = 12,
number = 3,
month = {Spring},
note = {\url{http://www.acm.org/crossroads/xrds12-3/contractc.html}},
abstract = {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.}
}