Second year project deliverables are online

The project deliverables of the second year are available online. They cover a wide range of topics including the full ABS language, feature selection and integration, resource analysis and various verification techniques as well as a systematic analysis of evolvability on the system level and at the bytecode level.

The deliverables give a concise report about the progress of the project in its second year.