Sfoglia per Autore
Lipschitz extensions of convex-valued maps
1986-01-01 Alberto, Bressan; Cortesi, Agostino
DIRECTIONALLY CONTINUOUS-SELECTIONS IN BANACH-SPACES
1989-01-01 Alberto, Bressan; Cortesi, Agostino
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS
1991-01-01 Cortesi, Agostino; File', G.
PROP REVISITED - PROPOSITIONAL FORMULA AS ABSTRACT DOMAIN FOR GROUNDNESS ANALYSIS
1991-01-01 Cortesi, A.; File', G.; Winsborough, W.
Comparison of Abstract Interpretations
1992-01-01 Cortesi, Agostino; Gilberto, File'; WILLIAM H., Winsborough
Graph properties for normal logic programs
1993-01-01 Cortesi, Agostino; File, G.
Type Analysis of Prolog Using Type Graphs
1994-01-01 PASCAL VAN, Hentenryck; Cortesi, Agostino; BAUDOUIN LE, Charlier
Combinations of Abstract Domains for Logic Programming
1994-01-01 Cortesi, Agostino; BAUDOUIN LE, Charlier; PASCAL VAN, Hentenryck
Type Analysis of Prolog Using Type Graphs
1995-01-01 VAN HENTENRYCK, P.; Cortesi, Agostino; LE CHARLIER, B.
Evaluation of the Domain Prop
1995-01-01 VAN HENTENRYCK, P.; Cortesi, Agostino; LE CHARLIER, B.
Specification-based Automatic Verification of Prolog Programs
1996-01-01 LE CHARLIER, B; Rossi, Sabina; Cortesi, Agostino
Optimal Groundness Analysis Using Propositional Logic
1996-01-01 Cortesi, Agostino; File', G.; Winsborough,
Automated Behavioural Verification of Prolog Programs
1997-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Complementation in abstract interpretation
1997-01-01 Cortesi, Agostino; Giacobazzi, R.; File', G.; Palamidessi, C.; Ranzato, F.
Automated Verification of Behavioural Properties of Prolog Programs
1997-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Programmare in Modula-3: Introduzione alla programmazione imperativa e a oggetti
1998-01-01 Orsini, Renzo; Cortesi, Agostino
The quotient of an abstract interpretation
1998-01-01 Cortesi, Agostino; File', G.; Winsborough, W.
Static Analysis
1999-01-01 Cortesi, Agostino; File', G.
Sharing is optimal
1999-01-01 Cortesi, Agostino; G., File'
Automated Verification of Prolog Programs
1999-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
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