CEC: A System for the Completion of Conditional Equational Specifications
Abstract elided by the publisher.
Related papers
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming ESOP 2025
- Algebraic Reasoning and Completeness in Typed Languages POPL 1993
- A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism TOPLAS 1995
- Conditional Attribute Grammars TOPLAS 1996
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form CAV 1995
- Stop Losing Sleep Over Incomplete Data Type Specifications POPL 1984
- Formally Optimal Boxing POPL 1994