Volume 30, Numbers 1-2, January 1998
Special Issue on Concurrent Constraint Programming, First International Workshop on Concurrent Constraint Programming, 29-31 May 1995, University of Venice, Italy
: A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages.
Volume 30, Number 3, March 1998
Eric W. van Ammers
: Program Families: Program Construction by Context Independent Refinements.
: Fast, Long-Lived Renaming Improved and Simplified.