Searching for authors named Francesco Logozzo – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Class-level Modular Analysis for Object Oriented Languages
- …Class-level Modular Analysis for Object Oriented Languages Francesco Logozzo STIX - Ecole…
- Cited by 13 (7 self) – Add To MetaCart
-
Approximating Module Semantics with Constraints
- …Approximating Module Semantics with Constraints Francesco Logozzo STIX - Ecole Polytechnique F…
- Cited by 3 (3 self) – Add To MetaCart
-
Automatic Inference of Class Invariants
- …Automatic Inference of Class Invariants Francesco Logozzo STIX - Ecole Polytechnique F-91128…
- Cited by 13 (5 self) – Add To MetaCart
-
Separate Compositional Analysis of Class-based Object-oriented languages
- …Separate Compositional Analysis of Class-based Object-oriented Languages Francesco Logozzo STIX…
- Cited by 12 (4 self) – Add To MetaCart
-
Class invariants as abstract interpretation of trace semantics
- … invariants as abstract interpretation of trace semantics Francesco Logozzo ∗ École Polytechnique, F-91128…
- Cited by 6 (4 self) – Add To MetaCart
-
or: A
- … domain K. Rustan M. Leino and Francesco Logozzo Microsoft Research, Redmond, WA, USA {leino,logozzo…
- Add To MetaCart
-
Pi-Calculus As A Rapid Prototype Language For Performance Evaluation
- …-calculus as a rapid prototype language for performance evaluation Francesco Logozzo 1 L I X…
- Add To MetaCart
-
Abstract interpretation-based verification of non functional requirements
- … ⋆⋆ and Francesco Logozzo 1 Università Ca’ Foscari di Venezia, I-30170 Venezia (Italy) cortesi@(email omitted); 2 École…
- Cited by 1 (1 self) – Add To MetaCart
-
On the relative completeness of bytecode analysis versus source code analysis
- …On the Relative Completeness of Bytecode Analysis versus Source Code Analysis Francesco Logozzo…
- Cited by 3 (2 self) – Add To MetaCart
-
SubPolyhedra: A (more) scalable approach to infer linear inequalities
- …SubPolyhedra: A (more) scalable approach to infer linear inequalities Vincent Laviron 1 Francesco…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
