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
-
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
-
A Denotational Semantics for Prolog
- …A Denotational Semantics for Prolog Fausto Spoto and Giorgio Levi Dipartimento di Informatica…
- Cited by 14 (6 self) – Add To MetaCart
-
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
- … Levi and Fausto Spoto Dipartimento di Informatica - Universita di Pisa Corso Italia 40, 56125 Pisa…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
