CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 70
Titolo Data di pubblicazione Autore(i) File
A Hierarchy of Semantics for Normal Constraint Logic Programs 1-gen-1996 F., Fages; Gori, Roberta
Finite failure is and-compositional 1-gen-1997 Gori, Roberta; G., Levi
Analysis of Normal Logic Programs 1-gen-1998 F., Fages; Gori, Roberta
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation 1-gen-1998 Gori, Roberta; Lastres, E; Moreno, R; Spoto, F.
Abstract interpretation based verification of logic programs 1-gen-1999 M., Comini; Gori, Roberta; G., Levi; P., Volpe
A Fixpoint semantics for reasoning about finite failure 1-gen-1999 Gori, Roberta
On the verification of finite failure 1-gen-1999 Gori, Roberta; G., Levi
An Abstract Interpretation approach to Termination of Logic Programs 1-gen-2000 Gori, Roberta
Assertion based Inductive Verification Methods for Logic Programs 1-gen-2000 M., Comini; Gori, Roberta; G., Levi
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 R., Bagnara; Gori, Roberta; P. M. HILL AND E., Zaffanella
Logic programs as specifications in the inductive verification of logic programs 1-gen-2001 Comini, M; Gori, Roberta; Levi, G.
How to Transform an Analyzer into a Verifier 1-gen-2001 M., Comini; Gori, Roberta; G., Levi
Enhancing the Expressive Power of the U-Datalog Language 1-gen-2001 E., Bertino; B., Catania; Gori, Roberta
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 R., Bagnara; E., Zaffanella; Gori, Roberta; P. M., Hill
An experiment in type inference and verification by abstract interpretation 1-gen-2002 Gori, Roberta; Levi, Giorgio
Abstract Interpretation based Verification of Logic Programs 1-gen-2003 Comini, M.; Gori, Roberta; Levi, Giorgio; Volpe, P.
Properties of a Type Abstract Interpreter 1-gen-2003 Gori, Roberta; G., Levi
An Abstract Interpretation Framework to reason on Finite Failure and other properties of finite and infinite computations 1-gen-2003 Gori, Roberta
Finite-tree analysis for constraint logic-based languages 1-gen-2004 R., Bagnara; Gori, Roberta; P. M. HILL AND E., Zaffanella
On the verification of Finite Failure 1-gen-2005 Gori, Roberta; Levi, Giorgio
Mostra risultati da 1 a 20 di 70
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile