Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 13 results in range #51 to #63.
- A promising semantics for relaxed-memory concurrency: Label: en
- Coupling proofs are probabilistic product programs: Label: en
- Stochastic invariants for probabilistic termination: Label: en
- Exact Bayesian inference by symbolic disintegration: Label: en
- Beginner's luck: a language for property-based generators: Label: en
- Modules, abstraction, and parametric polymorphism: Label: en
- Hazelnut: a bidirectionally typed structure editor calculus: Label: en
- Java generics are turing complete: Label: en
- Polymorphism, subtyping, and type inference in MLsub: Label: en
- Fast polyhedra abstract domain: Label: en
- Semantic-directed clumping of disjunctive abstract states: Label: en
- A posteriori environment analysis with Pushdown Delta CFA: Label: en
- Ogre and Pythia: an invariance proof method for weak consistency models: Label: en
