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 |