8. ISLP 1991: San Diego, California, USA

Programming Environments

Non-Horn Programs

Non-Monotonicity I

Reasoning about Programs I

Concurrency and Parallelism I

Types and Rewriting

Non-Classical Logics I

Warren Abstract Machine

Non-Classical Logics II

Bottom-Up Evaluation

Language Constructs

Constraints I

Concurrency and Parallelism II

Reasoning about Programs II

Non-Monotonicity II


Program Transformation and Synthesis

Constraints II

Invited Talks

Advanced Tutorials