|
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of PropMichael Codish and Bart Demoen
Proceedings of the First Static Analysis Symposium;
1994
Abstract:Available: bibtex entry Related sites: Subsequent work on types Michael Codish The Department of Computer Science Ben-Gurion University of the Negev PoB 653, Beer-Sheva, 84105, Israel mcodish@cs.bgu.ac.il
|