16. LOPSTR 2006: Venice, Italy

Invited Talks

Program Development

Partial Evaluation and Program Transformation

Security and Synthesis

Debugging and Testing

Termination and Analysis

maintained by Schloss Dagstuhl LZI at University of Trier