Sciweavers

PLILP
1997
Springer
13 years 9 months ago
DrScheme: A Pedagogic Programming Environment for Scheme
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
Robert Bruce Findler, Cormac Flanagan, Matthew Fla...
PLILP
1997
Springer
13 years 9 months ago
Reflections on Reflections
Gilles Barthe, John Hatcliff, Morten Heine S&oslas...
PLILP
1997
Springer
13 years 9 months ago
Narrowing the Narrowing Space
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...
Sergio Antoy, Zena M. Ariola