Equational Semantics
Abstract elided by the publisher.
Related papers
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form CAV 1995
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory OOPSLA 2025
- Semantic code search via equational reasoning PLDI 2020
- Calculational semantics: Deriving programming theories from equations by functional predicate calculus TOPLAS 2006
- Implementation of an Interpreter for Abstract Equations POPL 1984
- Equational Logic Programming: An Extension to Equational Programming POPL 1986
- Functorial semantics for partial theories POPL 2021