The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other insti

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It cont

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supp

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theor

This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed se