dc.contributor.author |
Papaspyrou, NS |
en |
dc.date.accessioned |
2014-03-01T01:16:17Z |
|
dc.date.available |
2014-03-01T01:16:17Z |
|
dc.date.issued |
2001 |
en |
dc.identifier.issn |
0920-5489 |
en |
dc.identifier.uri |
https://dspace.lib.ntua.gr/xmlui/handle/123456789/14012 |
|
dc.subject |
ANSI C programming language |
en |
dc.subject |
Denotational semantics |
en |
dc.subject |
Formal definition |
en |
dc.subject |
ISO/IEC 9899:1999 standard |
en |
dc.subject |
Monads |
en |
dc.subject.classification |
Computer Science, Hardware & Architecture |
en |
dc.subject.classification |
Computer Science, Software Engineering |
en |
dc.subject.other |
C (programming language) |
en |
dc.subject.other |
Computational linguistics |
en |
dc.subject.other |
Formal logic |
en |
dc.subject.other |
Natural language processing systems |
en |
dc.subject.other |
Denotational semantics |
en |
dc.subject.other |
Formal semantics |
en |
dc.subject.other |
Reduced instruction set computing |
en |
dc.title |
Denotational semantics of ANSI C |
en |
heal.type |
journalArticle |
en |
heal.identifier.primary |
10.1016/S0920-5489(01)00059-9 |
en |
heal.identifier.secondary |
http://dx.doi.org/10.1016/S0920-5489(01)00059-9 |
en |
heal.language |
English |
en |
heal.publicationDate |
2001 |
en |
heal.abstract |
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. |
en |
heal.publisher |
ELSEVIER SCIENCE BV |
en |
heal.journalName |
Computer Standards and Interfaces |
en |
dc.identifier.doi |
10.1016/S0920-5489(01)00059-9 |
en |
dc.identifier.isi |
ISI:000169165300003 |
en |
dc.identifier.volume |
23 |
en |
dc.identifier.issue |
3 |
en |
dc.identifier.spage |
169 |
en |
dc.identifier.epage |
185 |
en |