LOPSTR 2000 (2000 London, England)

• Logic based program synthesis and transformation