Program Transformation

Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science)

Johan Jeuring

Principles of program analysis

Flemming Nielson, Hanne Riis Nielson, Chris Hankin.

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science)

Herbert Kuchen, Kazunori Ueda

Logic program synthesis and transformation-- Meta-programming in Logic: 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

Laurent Fribourg, Franco Turini, (eds.)

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

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

Aart Middeldorp

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science)

Pierre Flener

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

Patrick Cousot ... [et al.].