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

74 Towards a theory of types in Prolog – P Mishra - 1984
63 A Regular Type Language for Logic Programs – Philip W Dart, Justin Zobel - 1992
1852 Foundations of Logic Programming – J W Lloyd - 1987
194 A practical framework for the abstract interpretation of logic programs – M Bruynooghe - 1991
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
93 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
121 Deriving descriptions of possible values of program variables by means of abstract interpretation – G Janssens, M Bruynooghe - 1992
39 Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop – Michael Codish, Bart Demoen - 1994
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
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
140 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
43 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