MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Giorgio Levi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

43 documents found, showing 1 through 10. Next 10 →

ATOM

Non Pair-Sharing and Freeness Analysis through Linear Refinement
by Giorgio Levi, Fausto Spoto — 2000
…Non Pair-Sharing and Freeness Analysis through Linear Refinement Giorgio Levi and Fausto Spoto…
Cited by 2 (0 self) – Add To MetaCart

A Denotational Semantics for Prolog
by Fausto Spoto, Giorgio Levi
…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
by Giorgio Levi, Fausto Spoto — 1998
…An Experiment in Domain Renement: Type Domains and Type Representations for Logic Programs Giorgio…
Cited by 6 (3 self) – Add To MetaCart

A Formalization of Metaprogramming for Real
by Giorgio Levi, Davide Ramundo — 1993 — Logic Programming, Proceedings of the Tenth International Conference on Logic Programming
…A formalization of metaprogramming for real Giorgio Levi Davide Ramundo Dipartimento di…
Cited by 10 (2 self) – Add To MetaCart

Contributions to a Theory of Existential Termination for Definite Logic Programs
by Giorgio Levi, Francesca Scozzari — 1995
…Contributions to a theory of existential termination for definite logic programs Giorgio Levi…
Cited by 3 (0 self) – Add To MetaCart

Properties of the Lattice of Observables in Logic Programming
by Gianluca Amato, Giorgio Levi — 1997 — In Proc. of the Italian-Portuguese-Spanish Joint Conf. on Declarative Programming, (APPIA-GULP-PRODE '97
…Properties of the lattice of observables in logic programming Gianluca Amato Giorgio Levi…
Cited by 6 (1 self) – Add To MetaCart

Finite Failure is and-Compositional
by Roberta Gori, Giorgio Levi — 1997 — Journal of Logic and Computation
…Finite failure is and-compositional Roberta Gori and Giorgio Levi Dipartimento di Informatica…
Cited by 3 (3 self) – Add To MetaCart

On the Verification of Finite Failure
by Roberta Gori, Giorgio Levi — 1999
…On the verication of nite failure Roberta Gori and Giorgio Levi Dipartimento di Informatica…
Cited by 5 (3 self) – Add To MetaCart

A Reconstruction of Verification Techniques by Abstract Interpretation
by Giorgio Levi, Paolo Volpe — 1997 — ILPS'97 Post-Conference Workshop on Verification, Model-Checking and Abstract Interpretation
…A Reconstruction of Verification Techniques by Abstract Interpretation Giorgio Levi and Paolo…
Cited by 1 (0 self) – Add To MetaCart

Analysis of pure PROLOG programs
by Giorgio Levi, Daniele Micciancio — 1995 — Proceedings GULP-PRODE '95, 1995 Joint Conference on Declarative Programming
…Analysis of pure PROLOG programs Giorgio Levi Daniele Micciancio y Abstract We define a new…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB