The system F of variable types, fifteen years later
Theoretical Computer Science
Theoretical Computer Science
Theoretical Computer Science
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Event structures and orthogonal term graph rewriting
Term graph rewriting
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Handbook of logic in computer science (vol. 4): semantic modelling
Handbook of logic in computer science (vol. 4): semantic modelling
Correspondence between operational and denotational semantics: the full abstraction problem for PCF
Handbook of logic in computer science (vol. 4)
Call by need computations to root-stable form
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Minimal and Optimal Computations of Recursive Programs
Journal of the ACM (JACM)
Categorical Combinators, Sequential Algorithms and Funtional Programming
Categorical Combinators, Sequential Algorithms and Funtional Programming
Algebraic Methods in Semantics
Algebraic Methods in Semantics
Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science
DI-Domains as a Model of Polymorphism
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Relating Two Categorial Models of Term Rewriting
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Relative Normalization in Deterministic Residual Structures
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
A Factorisation Theorem in Rewriting Theory
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
A Stability Theorem in Rewriting Theory
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Hi-index | 0.00 |
We study orderings ⊴S on reductions in the style of Lévy reflecting the growth of information w.r.t. (super)stable sets S of 'values' (such as head-normal forms or Böhm-trees). We show that sets of co-initial reductions ordered by ⊴S form finitary ω-algebraic complete lattices, and hence form computation and Scott domains. As a consequence, we obtain a relativized version of the computational semantics proposed by Boudol for term rewriting systems. Furthermore, we give a pure domain-theoretic characterization of the orderings ⊴S in the spirit of Kahn and Plotkin's concrete domains. These constructions are carried out in the framework of Stable Deterministic Residual Structures, which are abstract reduction systems with an axiomatized residual relations on redexes, that model all orthogonal (or conflict-free) reduction systems as well as many other interesting computation structures.