A study of evaluation order semantics in expressions with side effects

PAPASPYROU, N; Macos, D

dc.contributor.author	PAPASPYROU, N	en
dc.contributor.author	Macos, D	en
dc.date.accessioned	2014-03-01T01:49:07Z
dc.date.available	2014-03-01T01:49:07Z
dc.date.issued	2000	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/25687
dc.subject	C Programming Language	en
dc.subject	denotational semantic	en
dc.subject	Side Effect	en
dc.title	A study of evaluation order semantics in expressions with side effects	en
heal.type	journalArticle	en
heal.identifier.primary	10.1017/S095679680000366X	en
heal.identifier.secondary	http://dx.doi.org/10.1017/S095679680000366X	en
heal.publicationDate	2000	en
heal.abstract	The presence of side eects in even a very simple language of expressions gives rise to a number of semantic questions. The issue of evaluation order becomes a crucial one and, unless a specic order is enforced, the language becomes non-deterministic. In this paper we study the denotational semantics of such a language under a variety of possible evaluation strategies,	en
heal.journalName	Journal of Functional Programming	en
dc.identifier.doi	10.1017/S095679680000366X	en