A Polymorphic Type Dependency Analysis for Logic Programs

作者：Lu Lunjin^*

来源：New Generation Computing, 2011, 29(4): 409-444.

• Type Inference
• Polymorphic Type Dependency
• Logic Programs
• Non-deterministic Type Definitions
• Abstract Interpretation

An analysis is presented that infers polymorphic type dependencies in logic programs. Using set union as a type constructor and non-deterministic type definitions, the analysis infers more precise information than previous type dependency inference analyses. The analysis is an abstract interpretation based on the S-semantics and derives success patterns for each predicate in the program.

• 出版日期2011-10