Domain Construction for Mode Analysis of Typed Logic Programs

Jan-Georg Smaus, Patricia M. Hill, Andy King. Domain Construction for Mode Analysis of Typed Logic Programs. In ICLP. pages 418, 1997.

Abstract

Abstract is missing.