Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.

Christine Solnon, Michel Rueher

Browse the full LPAR paper archive.