An operational semantics of sharing in lazy evaluation

DOI10.1016/0167-6423(96)00012-3zbMath0857.68074OpenAlexW1991685539MaRDI QIDQ1126266

Jill Seaman, S. Purushothaman Iyer

Publication date: 3 March 1997

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(96)00012-3

zbMATH Keywords

lazy evaluationcall-by-name evaluation method

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Program equivalence in a typed probabilistic call-by-need functional language ⋮ Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion ⋮ Complete Laziness: a Natural Semantics

This page was built for publication: An operational semantics of sharing in lazy evaluation