Program Analysis

Principles of program analysis

Flemming Nielson, Hanne Riis Nielson, Chris Hankin.

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)

Bill Stoddart

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science)

Jens Palsberg

Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... (Lecture Notes in Computer Science)

Reinhard Wilhelm

Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings (Lecture Notes in Computer Science)

Walid Taha

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science)

Annalisa Bossi

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)

Agostino Cortesi

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science)

Aart Middeldorp

Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science)

Giorgio Levi

Static Analysis

Patrick Cousot