program semantics

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

Mario Bravetti, Gianluigi Zavattaro, Manuel Núñez

Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European (Lecture Notes in Computer Science)

Peter Sestoft

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings (Lecture Notes in Computer Science)

Masami Hagiya, Philip Wadler

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

Steven Eker, Patrick Lincoln, Carolyn Talcott, José Meseguer, Manuel Clavel, Francisco Durán, Narciso Martí-Oliet

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization (Lecture Notes in Computer Science)

Thomas Fahringer, Bernhard Scholz

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)

Pierpaolo Degano

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)

Kedar S. Namjoshi

Automata, languages and programming: 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings

Michele Bugliesi ... [et al.] (eds.).

FST TCS 2000: foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

Sanjiv Kapoor, Sanjiva Prasad (eds.).

Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings (Lecture Notes in Computer Science)

Peter J. Stuckey