Sfoglia per Autore
Static Analysis of Prolog with Cut
1993-01-01 File', G; Rossi, Sabina
Static Analysis of Prolog with Cut
1993-01-01 File', G; Rossi, Sabina
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
1994-01-01 LE CHARLIER, B; Rossi, Sabina; VAN HENTENRYCK, P.
An Abstract Interpretation Framework for (almost) Full Prolog
1994-01-01 LE CHARLIER, B; Rossi, Sabina; VAN HENTENRYCK, P.
Specification-based Automatic Verification of Prolog Programs
1996-01-01 LE CHARLIER, B; Rossi, Sabina; Cortesi, Agostino
Automated Behavioural Verification of Prolog Programs
1997-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Automated Verification of Behavioural Properties of Prolog Programs
1997-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Specialising Logic Programs with respect to Call/Post Specifications
1998-01-01 Bossi, Annalisa; Rossi, Sabina
Call-Correct Specialisation of Logic Programs
1998-01-01 Bossi, Annalisa; Rossi, Sabina
Properties of Input-Consuming Derivations
1999-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Automated Verification of Prolog Programs
1999-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Semantics of input-consuming programs
2000-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Semantics of well-moded input-consuming logic programs
2000-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Termination of Well-Typed Logic Programs
2001-01-01 Bossi, Annalisa; Cocco, Nicoletta; Rossi, Sabina
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling
2001-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina; Smaus, J. G.
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
2001-01-01 Cortesi, Agostino; LE CHARLIER, B.; Rossi, Sabina
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
2001-01-01 Cortesi, Agostino; Rossi, Sabina; LE CHARLIER, B.
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
Proofs Methods for Bisimulation based Information Flow Security
2002-01-01 Focardi, Riccardo; C., Piazza; Rossi, Sabina
Transforming processes to check and ensure Information Flow Security
2002-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
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