Denotational semantics of ANSI C

被引：12

作者：

Papaspyrou, NS ^{[1
]}

机构：

[1] Natl Tech Univ Athens, Software Engn Lab, Dept Elect & Comp Engn, Polytechnioupoli, Athens 15780, Greece

来源：

COMPUTER STANDARDS & INTERFACES | 2001年 / 23卷 / 03期

关键词：

ANSI C programming language; ISO/IEC 9899 : 1999 standard; formal definition; denotational semantics; monads;

D O I：

10.1016/S0920-5489(01)00059-9

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The semantics of C is described in the ANSI/ISO standard using natural language. This paper contains a brief summary, more descriptive than technical, of our research in specifying a complete and accurate formal semantics for ANSI C. We follow the denotational approach and divide the specification in three distinct phases: static, typing and dynamic semantics. Moreover, we have developed a direct implementation of the semantics, using the programming language Haskell. We argue that our formal specification results in a better understanding of the semantics of ANSI C and comment on its readability, precision, abstraction and applications. (C) 2001 Elsevier Science B.V. All rights reserved.

引用

页码：169 / 185

页数：17

共 50 条

[1] A denotational semantics for Handel-C
Butterfield, Andrew
[J]. FORMAL ASPECTS OF COMPUTING, 2011, 23 (02) : 153 - 170
[2] A denotational semantics for Handel-C
Butterfield, Andrew
[J]. Formal Methods and Hybrid Real-Time Systems, 2007, 4700 : 45 - 66
[3] A case study in specifying the denotational semantics of C
Papaspyrou, NS
[J]. ADVANCES IN INTELLIGENT SYSTEMS: CONCEPTS, TOOLS AND APPLICATIONS, 1999, 21 : 63 - 74
[4] A framework for programming denotational semantics in C++
Papaspyrou, NS
[J]. ACM SIGPLAN NOTICES, 1996, 31 (08) : 16 - 25
[5] CPP denotational semantics
Favre, JM
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[6] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[7] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
[8] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[9] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
[10] A denotational semantics for Handel-C hardware compilation
Perna, Juan Ignacio
Woodcock, Jim
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 266 - 285

← 1 2 3 4 5 →