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

A semantics-based approach to malware detection: Label: en
Geometry of synthesis: Label: en
Preferential path profiling: Label: en
Interprocedural analysis of asynchronous programs: Label: en
Conditional must not aliasing for static race detection: Label: en
Specialization of CML message-passing primitives: Label: en
On the analysis of interacting pushdown systems: Label: en
Modular verification of a non-blocking stack: Label: en
Program verification as probabilistic inference: Label: en
Proving that programs eventually do something good: Label: en
Secure implementations of typed channel abstractions: Label: en
JavaScript instrumentation for browser security: Label: en
Assessing security threats of looping constructs: Label: en
Variance analyses from invariance analyses: Label: en
Extracting queries by static analysis of transparent persistence: Label: en
Logic-flow analysis of higher-order programs: Label: en
Towards a mechanized metatheory of standard ML: Label: en
A complete, co-inductive syntactic theory of sequential control and state: Label: en
Lazy multivariate higher-order forward-mode AD: Label: en
Lightweight fusion by fixed point promotion: Label: en
Scrap your boilerplate with XPath-like combinators: Label: en
Context logic as modal logic: Label: en
A very modal model of a modern, major, general type system: Label: en
Types, bytes, and separation logic: Label: en
Generative unbinding of names: Label: en
Modular type classes: Label: en
Locality approximation using time: Label: en
Semantics of static pointcuts in aspectJ: Label: en
Operational semantics for multi-language programs: Label: en