Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 105
Titolo Data di pubblicazione Autori Tipo File Abstract
Static Analysis of Prolog with Cut 1-gen-1993 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Static Analysis of Prolog with Cut 1-gen-1993 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 1-gen-1994 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
An Abstract Interpretation Framework for (almost) Full Prolog 1-gen-1994 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Specification-based Automatic Verification of Prolog Programs 1-gen-1996 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Automated Verification of Behavioural Properties of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Automated Behavioural Verification of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Specialising Logic Programs with respect to Call/Post Specifications 1-gen-1998 BOSSI, AnnalisaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Call-Correct Specialisation of Logic Programs 1-gen-1998 BOSSI, AnnalisaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Automated Verification of Prolog Programs 1-gen-1999 ROSSI, SabinaCORTESI, Agostino + 2.1 Articolo su rivista -
Properties of Input-Consuming Derivations 1-gen-1999 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
Semantics of input-consuming programs 1-gen-2000 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Semantics of well-moded input-consuming logic programs 1-gen-2000 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 1-gen-2001 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Termination of Well-Typed Logic Programs 1-gen-2001 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 1-gen-2001 CORTESI, AgostinoROSSI, Sabina + 2.1 Articolo su rivista -
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 1-gen-2001 CORTESI, AgostinoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
On Modular Termination Proofs of General Logic Programs 1-gen-2002 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 2.1 Articolo su rivista -
Transforming processes to check and ensure Information Flow Security 1-gen-2002 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Sequence-based Abstract Interpretation of Prolog 1-gen-2002 ROSSI, Sabina + 2.1 Articolo su rivista -
Mostrati risultati da 1 a 20 di 105
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