Title: Logic-Based Program Synthesis and Transformation
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Informatique, Programmtransformation, Logic programming, Congresses, Logische Programmierung, Logic, Beweistheorie, Programmierlogik, Programmsynthese, Software