"Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007" ist ein wissenschaftlicher Sammelband, der die Beiträge der zehnten internationalen FOSSACS-Konferenz zusammenfasst. Diese...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined -...

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length...