Science of Computer Programming, Volume 78

Volume 78, Number 1, November 2012

Special Section: Formal Aspects of Component Software (FACS09) Regular Articles

Volume 78, Number 2, February 2013

Volume 78, Number 3, March 2013

Obituary Editorial Special Issue Papers

Volume 78, Number 4, April 2013

Special section on Mutation Testing and Analysis (Mutation 2010) Special section on the Programming Languages track at the 25th ACM Symposium on Applied Computing (SAC 2010)

Volume 78, Number 5, May 2013

Special section: Principles and Practice of Programming in Java 2009/2010 Special section: Self-Organizing Coordination

Volume 78, Number 6, June 2013

Special section: The Programming Languages track at the 26th ACM Symposium on Applied Computing (SAC 2011) Special section on Agent-oriented Design Methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments

Volume 78, Number 7, July 2013

Special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) Special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing

Volume 78, Number 8, August 2013

Special section on software evolution, adaptability, and maintenance Special section on the Brazilian Symposium on Programming Languages

Volume 78, Number 9, September 2013

Volume 78, Number 10, October 2013

Special section on Language Descriptions Tools and Applications (LDTA'08 & '09) Special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011)

Volume 78, Number 11, November 2013

Special section on Mathematics of Program Construction (MPC 2010) Special section on methodological development of interactive systems from Interaccion 2011

Volume 78, Number 12, December 2013

Special Section on International Software Product Line Conference 2010