Program Development in Computational Logic 2004

Specification and Synthesis

Semantics

Analysis

Transformation and Specialisation

Termination

Systems

maintained by Schloss Dagstuhl LZI at University of Trier