Concrete Domains
Files
Item Status
Embargo End Date
Date
Authors
Abstract
This paper introduces the theory of a particular kind of computation domains
called concrete domains. The purpose of this theory is to find a satisfactory
framework for the notions of coroutine computation and sequentiality of evaluation.
This item appears in the following Collection(s)