An operational semantics of sharing in lazy evaluation
type: Item
instance of: scholarly article
title: An operational semantics of sharing in lazy evaluation
zbMATH Open document ID: 0857.68074
DOI: 10.1016/0167-6423(96)00012-3
author: Jill Seaman
author: S. Purushothaman Iyer
published in: Science of Computer Programming
publication date: 1997-03-03T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 955133
zbMATH Keywords: lazy evaluation
zbMATH Keywords: call-by-name evaluation method
MaRDI profile type: Publication
full work available at URL: 0167-6423(96)00012-3
OpenAlex ID: W1991685539
Recommended article: An operational semantics for parallel lazy evaluation
Recommended article: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Recommended article: Processes, Terms and Cycles: Steps on the Road to Infinity
Recommended article: Q3830512
Recommended article: Lazy Theories of Operations and Types
Recommended article: The semantics of lazy functional languages
Recommended article: The adequacy of Launchbury's natural semantics for lazy evaluation
Recommended article: Compositional reasoning for shared-variable concurrent programs
Recommended article: Q4446264
Recommended article: The lazy lambda calculus in a concurrency scenario
description: scientific article; zbMATH DE number 955133