dblp.uni-trier.de www.uni-trier.de

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



Frank S. de Boer
Free University
de Boelelaan 1081
1081 HV Amsterdam, The Netherlands
E-mail: frankb@cs.vu.nl

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

Copyright © Sat May 16 23:20:24 2009 by Michael Ley (ley@uni-trier.de)