Searching for authors named Fausto Spoto – sorted by Relevance.
-
JULIA: A Generic Static Analyser for the Java Bytecode
- JULIA: A Generic Static Analyser for the Java Bytecode Fausto Spoto Dipartimento di Informatica
- Add To MetaCart
-
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses Fausto Spoto
- Cited by 8 (7 self) – Add To MetaCart
-
Operational and Goal-Independent Denotational Semantics for Prolog with Cut
- Operational and Goal-Independent Denotational Semantics for Prolog with Cut Fausto Spoto
- Cited by 6 (0 self) – Add To MetaCart
-
Path-Length Analysis for Object-Oriented Programs. Extended version with proofs. Available at www.sci.univr.it/,spoto/papers.html
- Abstract Path-Length Analysis for Object-Oriented Programs Fausto Spoto 1 Dipartimento di
- Cited by 4 (0 self) – Add To MetaCart
-
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
- Julia: A Generic Static Analyser for the Java Bytecode Fausto Spoto Dipartimento di Informatica
- Cited by 2 (1 self) – Add To MetaCart
-
A Termination Analyser for Java Bytecode Based on Path-Length
- A Termination Analyser for Java Bytecode Based on Path-Length FAUSTO SPOTO Dipartimento di
- Add To MetaCart
-
Focused Static Analyses for the Java Bytecode
- Focused Static Analyses for the Java Bytecode Fausto Spoto Dipartimento di Informatica, Universita
- Add To MetaCart
-
Class Analysis in an Open World
- Class Analysis in an Open World Fausto Spoto Dipartimento di Informatica, Universita di Verona
- Add To MetaCart
-
Non Pair-Sharing and Freeness Analysis through Linear Refinement
- Non Pair-Sharing and Freeness Analysis through Linear Refinement Giorgio Levi and Fausto Spoto
- Cited by 2 (0 self) – Add To MetaCart
-
Static Analysis for JML's assignable Clauses
- Static Analysis for JML's assignable Clauses ? Fausto Spoto 1 and Erik Poll 2 1 Dipartimento
- Cited by 7 (0 self) – Add To MetaCart

