Software engineering, object-oriented programming, and logic program synthesis

Kung-Kiu Lau

(University of Manchester)

Logic programming provides a uniquely uniform, logical formalism for specification, deduction, and program. It should therefore be an ideal paradigm for program synthesis. Indeed, program synthesis was one of the first topics of research in the early days of LP, and more recently, it has become an active area of research again. The question is "Is logic program synthesis relevant to real-world object-oriented software engineering?". In this talk, I will give a short survey of work in this area, and briefly consider this question.
Tuesday 28th February 1995, 14:30
Seminar Room 322
Department of Computer Science