Infinite executions of lazy and strict computations
Under an Elsevier user license
open archive
Keywords
Axiomatic program semantics
Iteration algebras
Lazy execution
Non-strict computations
Relations
Sequential computations
Cited by (0)
Copyright © 2014 Elsevier Inc. All rights reserved.