SCOPES 2009: Nice, France

Refine list

showing all ?? records

Compilation and optimization

Keynote talk

Domain-specific languages

Validation and verification