16th LOPSTR 2006: Venice, Italy

Invited Talks

Program Development

Partial Evaluation and Program Transformation

Security and Synthesis

Debugging and Testing

Termination and Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics