Science of Computer Programming, Volume 96

Volume 96, Part 1, December 2014

Special issue on Advances in Smalltalk based Systems Interoperability and interchange Reuse and refactoring Versioning, documentation and integration Going beyond traditional limits

Volume 96, Part 2, December 2014

Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 (SBLP 2012)

Volume 96, Part 3, December 2014

Special Issue on Automated Verification of Critical Systems (AVoCS 2012)

Volume 96, Part 4, December 2014

Selected Papers from the Fifth International Conference on Software Language Engineering (SLE 2012)
maintained by Schloss Dagstuhl LZI, founded at University of Trier