11. ICLP 1994, Workshop W2: Verification and Analysis of (Concurrent) Logic Languages

This workshop aims at a discussion of the analysis and correctness of logic programs and their concurrent (constraint) extensions. More specifically, we are interested in proof methods based on abstract interpretation and the applicability of methods developed in different programming paradigms, like process algebras, Hoare logics, etc. The workshop also includes discussion of techniques for the development of (concurrent) logic programs.

Verification of Logic Programs

Verification of Concurrent Constraint Programs

Abstract Interpretation I

Abstract Interpretation II