Science of Computer Programming

777	--	811	Samuele Carpineti, Cosimo Laneve, Luca Padovani. PiDuce - A project for experimenting Web services technologies
812	--	835	Manuel RoldÃ¡n, Francisco DurÃ¡n, Antonio Vallecillo. Invariant-driven specifications in Maude
836	--	860	Francisco Ortin, Jose Manuel Redondo, J. Baltasar GarcÃa Perez-Schofield. Efficient virtual machine support of runtime structural reflection
861	--	878	OtÃ¡vio Augusto Lazzarini Lemos, Ivan Gustavo Franchin, Paulo Cesar Masiero. Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java

External Links