Principles of program analysis :: SCD d'Orléans

Principles of program analysis

Principles of program analysis

Saved in:

Bibliographic Details
Main Authors:	Nielson, Flemming, 1955-, Nielson, Hanne Riis, 1954- (Author), Hankin, Chris, 1954- (Author)
Format:	Livre papier
Language:	Anglais
Published:	Berlin ; New York : Springer 2004, cop. 2010.
Subjects:	Génie logiciel > Programmation (informatique) Logiciels > Vérification > Manuels d'enseignement supérieur > Problèmes et exercices
Note:	Daté (2004) d'après la préface
Autres localisations:	Voir dans le Sudoc

Similar Items

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
by: Müller-Olm, Markus, 19..-

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Published: (2003)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
by: Steffen, Bernhard, 1956-

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings

Model checking software : 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : proceedings

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

Static Analysis for BSPlib Programs
by: Jakobsson, Filip, 1988-
Published: (2019)

Theory of program structures : schemes, semantics, verification
by: Greibach, Sheila, 1939-
Published: (2005)

Formal verification of trusted layers of software : application to the TPM Software Stack
by: Ziani, Yani, 1995-
Published: (2025)

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
by: Lengauer, Christian

Modular specification and verification of object-oriented programs
by: Müller, Peter, 1961-...., informaticien

Program verification using Ada
by: McGettrick, Andrew D., 1944-
Published: (1982)

Optimal interprocedural program optimization : a new framework and its application
by: Knoop, Jens

Compiler specification and verification
by: Polak, Wolfgang, 1950-

A Survey of verification techniques for parallel programs
by: Barringer, Howard, 1951-

Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés
by: André, Pascal, 1967-...., chercheur en informatique, et al.
Published: (2013)

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

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
by: Dershowitz, Nachum, 1951-

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
by: Hoffmann, Berthold, 19..-

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

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Petri nets for systems engineering : a guide to modeling, verification, and applications
by: Girault, Claude, 19..-...., informaticien, et al.
Published: (2010)

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

Termination proofs for logic programs
by: Plümer, Lutz, 1951-

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
by: Fahringer, Thomas, 1965-, et al.

Informatique : tronc commun : MPSI-PCSI-PTSI
by: Bays, Serge, 19..-
Published: (2021)

Analyse des besoins pour le développement logiciel : recueil et spécification, démarches itératives et agiles
by: Lonchamp, Jacques, 1951-
Published: (2015)

Visualization of scientific parallel programs
by: Tomas, Gerald, 19..-, et al.

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

KORSO : methods, languages, and tools for the construction of correct software : final report
by: Broy, Manfred, 1949-

Analyse des besoins pour le développement logiciel : recueil et spécification, démarches itératives et agiles
by: Lonchamp, Jacques, 1951-
Published: (2015)

Formal program development : IFIP TC2/WG 2.1 State-of-the-Art Report
by: Möller, Bernhard, 1953-

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : 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