Entity usage

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 44 results in range #1 to #44.

Subjective auxiliary state for coarse-grained concurrency: Label: en
Automatic detection of floating-point exceptions: Label: en
Complete instantiation-based interpolation: Label: en
The ramifications of sharing in data structures: Label: en
Copatterns: Label: en
Principled parsing for indentation-sensitive languages: Label: en
The sequential semantics of producer effect systems: Label: en
Optimizing data structures in high-level programs: Label: en
Full abstraction for nominal Scott domains: Label: en
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra: Label: en
Engineering mathematics: Label: en
Synthesis of biological models from mutation experiments: Label: en
Checking NFA equivalence with bisimulations up to congruence: Label: en
Sigma*: Label: en
HALO: Label: en
Hyperstream processing systems: Label: en
A model-learner pattern for bayesian reasoning: Label: en
Towards fully automatic placement of security sanitizers and declassifiers: Label: en
Fully abstract compilation to JavaScript: Label: en
Linear dependent types for differential privacy: Label: en
Logical relations for fine-grained concurrency: Label: en
Plan B: Label: en
Quantitative relaxation of concurrent data structures: Label: en
High-level separation logic for low-level code: Label: en
Views: Label: en
The type discipline of behavioral separation: Label: en
Deadlock-freedom-by-design: Label: en
Fault tolerance via idempotence: Label: en
Library abstraction for C/C++ concurrency: Label: en
A theorem prover for Boolean BI: Label: en
Meta-theory à la carte: Label: en
The power of parameterization in coinductive proof: Label: en
Universal properties of impure programming languages: Label: en
The geometry of types: Label: en
The Lambda Lambda-Bar calculus: Label: en
Abstract conflict driven learning: Label: en
Inductive data flow graphs: Label: en
Quantitative abstraction refinement: Label: en
Static and dynamic semantics of NoSQL languages: Label: en
Abstraction and invariance for algebraically indexed types: Label: en
Automating relatively complete verification of higher-order functional programs: Label: en
Advanced automata minimization: Label: en
On the linear ranking problem for integer linear-constraint loops: Label: en
Cache and I/O efficent functional algorithms: Label: en