A Polymorphic Type Dependency Analysis for Logic Programs

Lunjin Lu. A Polymorphic Type Dependency Analysis for Logic Programs. New Generation Comput., 29(4):409-444, 2011. [doi]

Abstract

Abstract is missing.