1: \begin{thebibliography}{DMGMS99}
2:
3: \bibitem[BM95]{BM95}
4: J.~Boye and J.~Ma{\l}uszy\'nski.
5: \newblock Two aspects of directional types.
6: \newblock In L.~Sterling, editor, {\em Proceedings of the 12th International
7: Conference on Logic Programming}, pages 747--761. MIT Press, 1995.
8:
9: \bibitem[BS98]{BS98}
10: F.~Baader and K.~U. Schulz.
11: \newblock Unification theory.
12: \newblock In W.~Bibel and P.H. Schmidt, editors, {\em Automated Deduction -- A
13: Basis for Applications, Vol.~I: Foundations -- Calculi and Methods}, volume~8
14: of {\em Applied Logic Series}, pages 225--263. Kluwer Academic Publishers,
15: Dordrecht, NL, 1998.
16:
17: \bibitem[CC77]{CC77}
18: P.~Cousot and R.~Cousot.
19: \newblock Abstract interpretation: {A} unified lattice model for static
20: analysis of programs by construction or approximation of fixpoints.
21: \newblock In {\em Proceedings of the 4th Symposium on Principles of Programming
22: Languages}, pages 238--252. ACM Press, 1977.
23:
24: \bibitem[CD94]{CD94}
25: M.~Codish and B.~Demoen.
26: \newblock Deriving polymorphic type dependencies for logic programs using
27: multiple incarnations of {${P}rop$}.
28: \newblock In B.~{Le Charlier}, editor, {\em Proceedings of the 1st Static
29: Analysis Symposium}, LNCS, pages 281--296. Springer-Verlag, 1994.
30:
31: \bibitem[CD95]{CD95}
32: M.~Codish and B.~Demoen.
33: \newblock Analyzing logic programs using ``{PROP}''-ositional logic programs
34: and a {M}agic {W}and.
35: \newblock {\em Journal of Logic Programming}, 25(3):249--274, 1995.
36:
37: \bibitem[CL96]{CL96}
38: M.~Codish and V.~Lagoon.
39: \newblock Type dependencies for logic programs using {A}{C}{I}-unification.
40: \newblock In {\em Proceedings of the Israeli Symposium on Theory of Computing
41: and Systems}, pages 136--145. IEEE Press, 1996.
42: \newblock To appear in {\em Theoretical Computer Science}.
43:
44: \bibitem[CL00]{CL00}
45: M.~Codish and V.~Lagoon.
46: \newblock Type dependencies for logic programs using {ACI}-unification.
47: \newblock {\em Theoretical Computer Science}, 238(1--2):131--159, 2000.
48:
49: \bibitem[DMGMS99]{DGHMS99}
50: B.~Demoen, W.~Harvey M.~{Garc\'{\i}a de la Banda}, K.~Marriott, and P.~Stuckey.
51: \newblock An overview of {HAL}.
52: \newblock In J.~Jaffar, editor, {\em Proceedings of Principles and Practice of
53: Constraint Programming}, number 1713 in LNCS, pages 174--188.
54: Springer-Verlag, 1999.
55:
56: \bibitem[DS01]{DS01}
57: P.~Deransart and J.-G. Smaus.
58: \newblock Well-typed logic programs are not wrong.
59: \newblock In H.~Kuchen and K.~Ueda, editors, {\em Proceedings of the 5th
60: International Symposium on Functional and Logic Programming}, number 2024 in
61: LNCS, pages 280--295. Springer-Verlag, 2001.
62:
63: \bibitem[{Emd}81]{vE81}
64: M.~{van} {Emden}.
65: \newblock {A}{V}{L} tree insertion: A benchmark program biased towards
66: {P}rolog.
67: \newblock {\em Logic Programming Newsletter 2}, 1981.
68:
69: \bibitem[GBS95]{GBS95}
70: J.~Gallagher, D.~Boulanger, and H.~Sa\u{g}lam.
71: \newblock Practical model-based static analysis for definite logic programs.
72: \newblock In J.~W. Lloyd, editor, {\em Proceedings of the 12th International
73: Logic Programming Symposium}, pages 351--365. MIT Press, 1995.
74:
75: \bibitem[GS90]{GS90}
76: C.~A. Gunter and D.~S. Scott.
77: \newblock {\em Semantic Domains}, chapter~8, pages 633--674.
78: \newblock North-Holland, 1990.
79: \newblock In J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science,
80: vol.~B: Formal Models and Semantics.
81:
82: \bibitem[GW94]{GdW94}
83: J.~P. Gallagher and A.~{de} {Waal}.
84: \newblock Fast and precise regular approximations of logic programs.
85: \newblock In P.~{Van Hentenryck}, editor, {\em Proceedings of the 11th
86: International Conference on Logic Programming}, pages 599--613. MIT Press,
87: 1994.
88:
89: \bibitem[Hen93]{H93}
90: F.~Henglein.
91: \newblock Type inference with polymorphic recursion.
92: \newblock {\em ACM Transactions on Programming Languages and Systems},
93: 15(2):253--289, 1993.
94:
95: \bibitem[HL94]{goedel}
96: P.~M. Hill and J.~W. Lloyd.
97: \newblock {\em {The G{\"o}del Programming Language}}.
98: \newblock MIT Press, 1994.
99:
100: \bibitem[HT92]{HT92}
101: P.~M. Hill and R.~W. Topor.
102: \newblock {\em Types in Logic Programming}, chapter~1, pages 1--61.
103: \newblock MIT Press, 1992.
104:
105: \bibitem[JB92]{JB92}
106: G.~Janssens and M.~Bruynooghe.
107: \newblock Deriving descriptions of possible values of program variables by
108: means of abstract interpretation.
109: \newblock {\em Journal of Logic Programming}, 13(2 \& 3):205--258, 1992.
110: \newblock First author name erroneously spelt ``Janssen''.
111:
112: \bibitem[Llo87]{L87}
113: J.~W. Lloyd.
114: \newblock {\em Foundations of Logic Programming}.
115: \newblock Springer-Verlag, 1987.
116:
117: \bibitem[LS01]{LS01}
118: V.~Lagoon and P.~J. Stuckey.
119: \newblock A framework for analysis of type logic programs.
120: \newblock In H.~Kuchen and K.~Ueda, editors, {\em Proceedings of the 5th
121: International Symposium on Functional and Logic Programming}, number 2024 in
122: LNCS, pages 296--310. Springer-Verlag, 2001.
123:
124: \bibitem[Mee88]{M88}
125: L.~Meertens.
126: \newblock First steps towards the theory of rose trees.
127: \newblock CWI, Amsterdam; IFIP Working Group 2.1 working paper 592~ROM-25,
128: 1988.
129:
130: \bibitem[SHC96]{mercury}
131: Z.~Somogyi, F.~Henderson, and T.~Conway.
132: \newblock The execution algorithm of {Mercury}, an efficient purely declarative
133: logic programming language.
134: \newblock {\em Journal of Logic Programming}, 29(1--3):17--64, 1996.
135:
136: \bibitem[SHK00]{SHK00}
137: J.-G. Smaus, P.~M. Hill, and A.~M. King.
138: \newblock Mode analysis domains for typed logic programs.
139: \newblock In A.~Bossi, editor, {\em Proceedings of the 9th International
140: Workshop on Logic-based Program Synthesis and Transformation}, volume 1817 of
141: {\em LNCS}, pages 83--102, 2000.
142: \newblock Long version appeared as Report 2000.06, University of Leeds.
143:
144: \bibitem[TL97]{TL97}
145: J.~Tan and I.~Lin.
146: \newblock Recursive modes for precise analysis of logic programs.
147: \newblock In J.~Ma{\l}uszy\'nski, editor, {\em Proceedings of the 14th
148: International Logic Programming Symposium}, pages 277--290. MIT Press, 1997.
149:
150: \bibitem[VCL93]{HCC93}
151: P.~{Van Hentenryck}, A.~{Cortesi}, and B.~{Le Charlier}.
152: \newblock Type analysis of {P}rolog using type graphs.
153: \newblock Technical Report CS-93-52, Brown University Box 1910, Providence, RI
154: 02912, November 1993.
155:
156: \end{thebibliography}
157: