loading...
CPP Denotational Semantics
Amsterdam, The Netherlands September 26-September 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238028Third IEEE International Workshop on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jean-Marie Favre, University of Grenoble, France
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files are procedures, directories are modules, and command lines are programs. The semantics of CPP can therefore be described using traditional techniques. This paper describes the semantics of CPP in a denotational style. By contrast with previous work, the full semantics is taken into account including non trivial aspects such as recursive macros, stringification and concatenation.
Citation:
Jean-Marie Favre, "CPP Denotational Semantics," scam, pp.22, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003
Usage of this product signifies your acceptance of the Terms of Use.