Summary: 
9th Int'l Symp. on Prog. Lang., Implementations, Logics, and Programs (PLILP'97)
Southampton, UK, Sept. 1997, Springer LNCS Vol. 1292, pages 1-15.



Narrowing the Narrowing Space?



Sergio Antoy1 and Zena M. Ariola2

1 Portland State University
2 University of Oregon



Abstract. We introduce a framework for managing as a whole the space
of a narrowing computation. The aim of our framework is to find a
finite representation of an infinite narrowing space. This, in turn, al-

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences