Denotational semantics of ANSI C

Papaspyrou, NS

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