A study of evaluation order semantics in expressions with side effects

DOI10.1017/S095679680000366XMaRDI QIDQ4507959zbMATH OpenOpenAlexFDO

Authors Nikolaos S. Papaspyrou, Dragan Maćoš

Publication date 25 March 2001

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s095679680000366x

zbMATH Keywords

evaluation-order semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1406087
• The expressive power of side effects in prolog
• Extended call-by-push-value: reasoning about effectful programs and evaluation order
• The enriched effect calculus: syntax and semantics
• scientific article; zbMATH DE number 1301745
• scientific article; zbMATH DE number 6163261
• A semantic approach to order-sorted rewriting
• A semantic approach to order-sorted rewriting
• On the syntax and semantics of effect axioms
• A partial evaluation framework for order-sorted equational programs modulo axioms

Cited in

(4)

• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• The expressive power of side effects in prolog
• scientific article; zbMATH DE number 1406087 (Why is no real title available?)

This page was built for publication: A study of evaluation order semantics in expressions with side effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507959)