Searching for authors named Fausto Spoto – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
