## Denotational Semantics of ANSI C (2001)

Citations: | 1 - 0 self |

### BibTeX

@MISC{Papaspyrou01denotationalsemantics,

author = {Nikolaos S. Papaspyrou},

title = {Denotational Semantics of ANSI C},

year = {2001}

}

### OpenURL

### 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.