The following pages link to Fausto Spoto (Q383355):
Displaying 25 items.
- Inferring complete initialization of arrays (Q383356) (← links)
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results (Q784106) (← links)
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- Logic programs as compact denotations. (Q1426046) (← links)
- Checking array bounds by abstract interpretation and symbolic expressions (Q1799137) (← links)
- Pair-independence and freeness analysis through linear refinement. (Q1873754) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- (Q2763646) (← links)
- (Q2767173) (← links)
- Automaton-Based Array Initialization Analysis (Q2890215) (← links)
- Reachability Analysis of Program Variables (Q2908512) (← links)
- Definite Expression Aliasing Analysis for Java Bytecode (Q2915100) (← links)
- A Foundation of Escape Analysis* (Q2996125) (← links)
- Boolean Formulas for the Static Identification of Injection Attacks in Java (Q3460049) (← links)
- (Q4415118) (← links)
- (Q4494375) (← links)
- Generalizing Def and Pos to Type Analysis (Q4542943) (← links)
- (Q4736994) (← links)
- (Q4778699) (← links)
- Operational and goal-independent denotational semantics for Prolog with cut (Q4934231) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395111) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711500) (← links)
- Static Analysis (Q5897440) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898612) (← links)
