Concrete Domains

Article, Preprint English OPEN
Kahn, Gilles; Plotkin, Gordon;
  • Publisher: Elsevier BV
  • Journal: volume 121,issue 1-2,pages187-277issn: 0304-3975
  • Related identifiers: doi: 10.1016/0304-3975(93)90090-g
  • Subject: Theoretical Computer Science | Computer Science(all) | Laboratory for Foundations of Computer Science

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.
Share - Bookmark