On the Expressiveness of 3-Valued Models
No abstract available.
Related papers
- A Classical Realizability Model for a Semantical Value Restriction ESOP 2016
- IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs ECOOP 2016
- Symbolic Evaluation and the Global Value Graph POPL 1977
- The Semantics of Plurals SLE 2022
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition ECOOP 2017
- Modes, Values, and Expressions POPL 1975
- Time Robustness in MTL and Expressivity in Hybrid System Falsification CAV 2015
- A Parametric Abstract Domain for Lattice-Valued Regular Expressions SAS 2016