Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Giorgio Levi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Fausto Spoto

> Home > Persons > Giorgio Levi

Publications

2003
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LeviS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LeviS03
Giorgio Levi, Fausto Spoto:
Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
2000
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LeviS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LeviS00
Giorgio Levi, Fausto Spoto:
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61
1998
[c69]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/SpotoL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/SpotoL98
Fausto Spoto, Giorgio Levi:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/SpotoL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/SpotoL98
Fausto Spoto, Giorgio Levi:
Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/LeviS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/LeviS98
Giorgio Levi, Fausto Spoto:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
1997
[c61]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/SpotoL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/SpotoL97
Fausto Spoto, Giorgio Levi:
A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212
1996
[c60]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/LeviS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/LeviS96
Giorgio Levi, Fausto Spoto:
Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.