{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:08:51Z","timestamp":1742378931664},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/scam.2003.1238028","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"source":"Crossref","is-referenced-by-count":6,"title":["CPP denotational semantics"],"prefix":"10.1109","author":[{"given":"J.-M.","family":"Favre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Incl: A Tool to Analyze Include Files","author":"vo","year":"1992","journal-title":"USENIX"},{"key":"ref11","article-title":"Static Detection of Preprocessor Macro Errors in C","author":"spuler","year":"1992"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296765"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1994.341255"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2003.1192425"},{"key":"ref15","article-title":"The C Preprocessor","author":"stallman","year":"1992","journal-title":"Grep - GNU Project - Free Software Foundation (FSF)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1997.601260"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2002.1173076"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2002.1021344"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957805"},{"key":"ref28","first-page":"550","article-title":"Programming languages - C","year":"1998","journal-title":"ISO WG14 N843"},{"key":"ref4","article-title":"Variants: Keeping Things Together and Telling Them Apart","author":"mahler","year":"1994"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(20000710)30:8<907::AID-SPE324>3.0.CO;2-I"},{"key":"ref3","article-title":"Preprocessors from an Abstract Point of View","author":"favre","year":"1996","journal-title":"Proc of ICSM and WCRE"},{"key":"ref6","article-title":"Large Scale Porting through Parametrization","author":"tilbrook","year":"1992","journal-title":"USENIX"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1145\/72910.73365","article-title":"Commercial Real-time Software Needs Different Configuration Management","author":"gentleman","year":"1989","journal-title":"6th Workshop on Software Configuration Management"},{"key":"ref8","article-title":"#ifdef Considered Harmful, or Portability Experience With C News","author":"spencer","year":"1992","journal-title":"USENIX"},{"key":"ref7","article-title":"Configuration Management with Feature Logics","author":"zeller","year":"1994","journal-title":"Technical report TR-94&#x2013;01"},{"key":"ref2","article-title":"A Reverse Engineering Environment Supporting Program Families Analysis","author":"morales","year":"1999","journal-title":"memoire CNAM"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230308"},{"key":"ref1","article-title":"An Approach to Support Software Maintenance and Reengineering-In-The-Large","author":"favre","year":"1995"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957833"},{"key":"ref22","article-title":"Aframeworkfor preprocessor-aware C source code analyses","author":"badros","year":"1998","journal-title":"Techincal Report UW-CSE-98&#x2013;08&#x2013;04"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1996.558915"},{"key":"ref24","article-title":"Translation of Conditional Compilation","author":"harsu","year":"1997","journal-title":"Nordic Journal of Computing"},{"key":"ref23","article-title":"An empirical analysis of C preprocessor use","author":"ernst","year":"1997","journal-title":"Technical Report UW-CSE-97&#x2013;04&#x2013;06"},{"key":"ref26","article-title":"ZML: Z Mathematical Library in OCaml&#x201D; and &#x201C;ZLN: Z-like Language Notation in o Cam I","author":"favre","year":"0"},{"key":"ref25","article-title":"The Z Notation","author":"spivey","year":"0"}],"event":{"name":"Third IEEE International Workshop on Source Code Analysis and Manipulation.","location":"Amsterdam, Netherlands","acronym":"SCAM-03"},"container-title":["Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8773\/27776\/01238028.pdf?arnumber=1238028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T08:56:25Z","timestamp":1585644985000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1238028\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/scam.2003.1238028","relation":{},"subject":[]}}