Operational domain theory and topology of sequential programming languages


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


  • Presentations referencing similar topics