Вы здесь

Главная

Cortesi A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Banana - A Tool for Boudary Ambients Nesting ANAlysis 2003 Braghin C., Cortesi A., Fillippone S., Focardi C., Luccio F. L., Piazza C. Lecture Notes in Computer Science 17.04.2003
СТ Reexecution-Based Analysis of Logic Programs with Delay Declarations 2001 Cortesi A., Le Charlier B., Rossi S. Lecture Notes in Computer Science 08.02.2002
СТ Distinctness and Sharing Domains for Static Analysis of Java Programs 2001 Pollet I., Le Charlier B., Cortesi A. Lecture Notes in Computer Science 14.07.2001
СТ Automated Verification of Behavioural Properties of Prolog Programs 1997 Le Charlier B., Leclere C., Rossi S., Cortesi A. Lecture Notes in Computer Science 20.12.1997
СТ Combinations of Abstract Domains for Logic Programming 1994 Cortesi A., Le Charlier B., Van Hentenryck P. Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages 29.08.1997
СТ Specification-Based Automatic Verification of Prolog Programs 1997 Cortesi A., Le Charlier B., Rossi S. Lecture Notes in Computer Science 12.04.1997
СТ Complementation in Abstract Interpretation 1995 Cortesi A., File G., Giacobazzi R. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ Type Analysis of Prolog Using Type Graphs 1994 Van Hentenryck P., Cortesi A., Le Charlier B. SIGPLAN Notices 22.08.1994
СТ Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis 1991 Cortesi A., File G. SIGPLAN Notices 26.10.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Information Systems and Industrial Management: Proc./12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 2013 2013 Lecture Notes in Computer Science
  1. Saeed K.
  2. Chaki R.
  3. Cortesi A.
  4. Wierzchon S.
 02.12.2013
СБ Computer Information Systems and Industrial Management: Proc./11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 2012 2012 Lecture Notes in Computer Science
  1. Cortesi A.
  2. Chaki N.
  3. Saeed K.
  4. Wierzchon S.
 01.10.2012
СБ Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003 2003 Lecture Notes in Computer Science
  1. Zuck L. D.
  2. Attie P. C.
  3. Cortesi A.
  4. Mukhopadhyay S.
 31.01.2003
СБ Verification, Model Checking, and Abstract Interpretation: Proc./Third Intern. Workshop, VMCAI 2002, Venice, Italy, January 2002 2002 Lecture Notes in Computer Science
  1. Cortesi A.
 24.05.2002
СБ Static Analysis: Proc./6th Intern. Symp., SAS 99. Venice, Italy, September 1999 1999 Lecture Notes in Computer Science
  1. Cortesi A.
  2. File G.
 19.10.1999