SCOPES 2009: Nice, France

Refine list

showing all ?? records

Compilation and optimization

Keynote talk

Domain-specific languages

Validation and verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics