Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

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