Type Analysis of Logic Programs in the Presence of Type Definitions (1995)

Cached

Download Links

by Lunjin Lu
Venue:In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based program manipulation
Citations:8 - 6 self

Documents Related by Co-Citation

63 A Regular Type Language for Logic Programs – Philip W Dart, Justin Zobel - 1992
75 Towards a theory of types in Prolog – P Mishra - 1984
195 A practical framework for the abstract interpretation of logic programs – Bruynooghe - 1991
1858 Foundation of Logic Programming – J W Lloyd - 1987
18 Semantic Types for Logic Programs – Nevin Heintze, Joxan Jaffar - 1992
20 A bottom-up polymorphic type inference in logic programming – R Barbuti, R Giacobazzi - 1992
94 A Finite Presentation Theorem for Approximating Logic Programs – Nevin Heintze, Joxan Jaffar - 1990
73 A Type System for Logic Programs – E Yardeni, E Y Shapiro - 1991
122 Deriving description of possible values of program variables by means of abstract interpretation – G Janssens, M Bruynooghe - 1992
16 Abstract interpretation: a unified framework for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
18 Polymorphic type inference in Prolog by abstract interpretation – K Horiuchi, T Kanamori - 1987
40 Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop – Michael Codish, Bart Demoen - 1994
118 Compile-time Derivation of Variable Dependency Using Abstract Interpretation – K. Muthukumar, M. Hermenegildo - 1992
12 Polymorphic Type Analysis in Logic Programs by Abstract Interpretation – Lunjin Lu - 1998
141 A Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
286 Abstract interpretation and application to logic programs – Patrick Cousot, Radhia Cousot - 1992
44 Type Dependencies for Logic Programs using ACI-unification – Michael Codish, Vitaly Lagoon - 1996
99 Fast and Precise Regular Approximation of Logic Programs – J. P. Gallagher, D. A. De Waal - 1993
14 Type inference in Prolog and its application – T Kanamori, K Horiuchi