HEAL DSpace

Denotational Semantics of Evaluation Order in Expressions with Side Effects

DSpace/Manakin Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record