Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

Michael 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

© copyright notice