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

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

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

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

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

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

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

Thomas Fahringer, Bernhard Scholz

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings (Lecture Notes in Computer Science)

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

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.).

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