CS Seminar: Krzysztof Apt, November 28, 2000

Prof. Krzysztof Apt,
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, and
Department of Mathematics and Computer Sciences, University of Amsterdam.

Date and Time
Monday, November 28, 2000 at 15:00
Sala Riunioni,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

The Alma Project or How First-Order Logic Can Help us in Imperative Programming

Logical approach to computing has been found useful in the realm of functional, logic and database programming. We show here that also imperative programming can profit from a logical view. To this end we describe an implemented small programming language, called Alma-0, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These additions make it a more attractive vehicle for problems that involve search. The solutions offered in Alma-0 are substantially simpler than their counterparts written in the imperative or in the logic programming style and can be used for different purposes without any modification. In some cases programs are equal to their specifications and are therefore obviously correct. In the lecture we shall compare the programming in Alma-0 to that in the logic programming style. The language, its semantics and implementation was described in a joint paper with Jacob Brunekreef, Vincent Partington and Andrea Schaerf that appeared in ACM Transactions on Programming Languages and Systems (TOPLAS) 20(5), pp. 1014-1066, 1998. Current work deals with clarifying connections between first-order logic and the declarative counterpart of Alma-0 and with adding constraints to the language.

Contact Person
Gianfranco Rossi

[Page last updated on January 21, 2013, 08:18:53.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links