Difference between revisions of "Publications/borghi.06.crossroads"

From LRDE

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

Revision as of 23:00, 11 June 2017

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.}
}