HEAL DSpace

Denotational semantics of ANSI C

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

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


Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής