Denotational Semantics of Evaluation Order in Expressions with Side Effects

Papaspyrou, N

dc.contributor.author	Papaspyrou, N	en
dc.date.accessioned	2014-03-01T01:46:42Z
dc.date.available	2014-03-01T01:46:42Z
dc.date.issued	1998	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/25003
dc.subject	C Programming Language	en
dc.subject	denotational semantic	en
dc.subject	Side Effect	en
dc.title	Denotational Semantics of Evaluation Order in Expressions with Side Effects	en
heal.type	journalArticle	en
heal.publicationDate	1998	en
heal.abstract	The presence of side effects in even a very simple lan- guage of expressions gives rise to a number of semantic questions. The issue of evaluation order becomes a cru- cial one and, unless a strict order is enforced, the language becomes non-deterministic. In this paper we study the semantics of such a language under a variety of possible evaluation	en