CiteULike krisn11's CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Denotational semantics of ANSI C Export

by: Nikolaos S. Papaspyrou
Computer Standards & Interfaces, Vol. 23, No. 3. (July 2001), pp. 169-185.

Citation Format

[Posts]

View FullText article


krisn11's tags for this article

c language semantics

X Reviews [Write a review of this article]

X Notes for this article

krisn11 has 1 private note and 0 public notes for this article. If you are krisn11 then you can log in to see the private note.

X Find related articles from these CiteULike users

X Find related articles with these CiteULike tags

X Posting History

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


X BibTeX record

X RIS record


Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.