SASP2011 List of Project Submissions

From PLSwiki

Jump to: navigation, search
Names Project Title Supervisor
Andreea Vasile, Bastian Müller, Sorin Dimofte Parser combinators David, Peter
Brian Pilgren, Peter Bom Jensen Specifying collection classes with Code Contracts Peter
Christian N Larsen, Mikkel B Nielsen Specifying collection classes with Code Contracts Peter
Kasper Videbæk Compiling MicroC to x86 Peter
Christos Siakfas, Nikolaos Kordis Compiling MicroC to x86 Peter
Christos K, Severio Spena Extended Static Checking Generalized Quantifiers Joe
Jens Hansen Data-flow analysis for refactoring CA-Ideal programs to function with UTF-16 instead of CP930 Joe
Mads Rangholm Larsen, Peter Hjarvard Damgaard  Validated systems development Joe
Personal tools