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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics