3. SLP 1986: Salt Lake City, Utah

The long versions of selected papers were published in a special issue of the Journal of Logic Programming (Volume 6, Numbers 1 & 2, January/March 1989).

Invited Speaker

Applications

Secondary Storage

Compilation

Invited Speaker

Theory

Control

Unification

Parallelism

Performance

Warren Abstract Machine