Operational domain theory and topology of sequential programming languages

Abstract

A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and order. We further develop this, and, moreover, we additionally export topological techniques. In particular, we work with an operational notion of compact set and show that total programs with values on certain… (More)
DOI: 10.1016/j.ic.2008.12.003

Topics

  • Presentations referencing similar topics