CPP denotational semantics
CPP denotational semantics
复制标题
CPP指称语义
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
J. Favre
中科院分区：
文献类型：
--
作者：
J. Favre
我们展示了CPP， C语言的预处理器，可以被看作是一种编程语言，其中指令是语句，参数化宏是函数，文件是过程，目录是模块，命令行是程序。因此，可以使用传统技术来描述CPP的语义。我们用指称的方式描述CPP的语义。与以前的工作相比，本文考虑了完整的语义，包括递归宏、字符串化和连接等重要方面。
We show 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. We describe the semantics of CPP in a denotational style. By contrast with previous work, the full semantics is taken into account including nontrivial aspects such as recursive macros, stringification and concatenation.