Static analysis : :: SCD d'Orléans

Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP. The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also inc...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International static analysis symposium :Aachen, Allemagne
Altri autori:	Schmidt, David A, 1953- (Direttore editoriale), Cousot, Radhia, 1947-2014 (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 1145
Soggetti:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Static analysis, third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996, proceedings, Radhia Cousot, David A. Schmidt, eds, 1996, Berlin, Springer, 1 vol. (IX-388 p.), Lecture notes in computer science, 3-540-61739-6 • Static Analysis, Texte imprimé, 9783662173763

Documenti analoghi

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 30, 1994 : proceedings

Static analysis : second international symposium, SAS '95, Glasgow, UK, September 25 27, 1995 : proceedings

Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings

Static analysis : ; proceedings 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004

Static analysis : third international workshop, WSA '93, Padova, Italy, September 22 24, 1993 : proceedings

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17 20, 2002 : roceedings

Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16 18, 2001 : proceedings

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

Static analysis : 5th International Symposium, SAS 98, Pisa, Italy, September 14 16, 1998 : proceedings

Programming languages and systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22 24, 1996 : proceedings

Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 April 2, 2000 : proceedings

The Munich project CIP. the wide spectrum language CIP-L
di: Bauer, Friedrich Ludwig, 1924-2015, et al.

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Programming languages and systems - ESOP '94 : 5th European Symposium on Programming, Edinburg, U.K., April 11 13, 1994 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 6, 2001 : proceedings

ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15 18, 1990 : proceedings

Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
di: Bruynooghe, Maurice

Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Analysis and visualization tools for constraint programming : constraint debugging
di: Deransart, Pierre, 1945-...., informaticien

Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24 26, 1996 : proceedings

Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

Programming languages and systems : First Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings

Programming languages and systems : Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings
di: Chin, Wei-Ngan

Programming languages and systems : 12th European Symposium on Programming, ESOP 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7 11, 2003 : proceedings

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales