cs0012015/corr.bbl
1: \begin{thebibliography}{10}
2: 
3: \bibitem{AE93}
4: K.~R. Apt and S.~Etalle.
5: \newblock On the unification free {P}rolog programs.
6: \newblock In A.~Borzyszkowski and S.~Sokolowski, editors, {\em Proceedings of
7:   the Conference on Mathematical Foundations of Computer Science}, volume 711
8:   of {\em LNCS}, pages 1--19. Springer-Verlag, 1993.
9: 
10: \bibitem{B95}
11: C.~Beierle.
12: \newblock Type inferencing for polymorphic order-sorted logic programs.
13: \newblock In L.~Sterling, editor, {\em Proceedings of the Twelfth International
14:   Conference on Logic Programming}, pages 765--779. MIT Press, 1995.
15: 
16: \bibitem{BGLM91}
17: A.~Bossi, M.~Gabbrielli, G.~Levi, and M.~Martelli.
18: \newblock The $s$-semantics approach: theory and applications.
19: \newblock {\em Journal of Logic Programming}, 19/20:149--197, 1991.
20: 
21: \bibitem{CominiLMV96}
22: M.~Comini, G.~Levi, M.~C. Meo, and G.~Vitiello.
23: \newblock Proving properties of logic programs by abstract diagnosis.
24: \newblock In M.~Dams, editor, {\em Analysis and Verification of Multiple-Agent
25:   Languages, 5th LOMAPS Workshop}, volume 1192 of {\em LNCS}, pages 22--50.
26:   Springer-Verlag, 1996.
27: 
28: \bibitem{CC77}
29: P.~Cousot and R.~Cousot.
30: \newblock Abstract interpretation: {A} unified lattice model for static
31:   analysis of programs by construction or approximation of fixpoints.
32: \newblock In {\em Proceedings of the 4th Symposium on Principles of Programming
33:   Languages}, pages 238--252. ACM Press, 1977.
34: 
35: \bibitem{DM93}
36: P.~Deransart and J.~Ma{\l}uszy\'nski.
37: \newblock {\em A Grammatical View of Logic Programming}.
38: \newblock MIT Press, 1993.
39: 
40: \bibitem{DM98}
41: P.~Deransart and J.~Ma{\l}uszy\'nski.
42: \newblock Towards soft typing for {CLP}.
43: \newblock In F.~Fages, editor, {\em JICSLP'98 Post-Conference Workshop on Types
44:   for Constraint Logic Programming}. {\'E}cole Normale Sup{\'e}rieure, 1998.
45: \newblock Available at {\tt http://discipl.inria.fr/TCLP98/}.
46: 
47: \bibitem{DS01}
48: P.~Deransart and J.-G. Smaus.
49: \newblock Well-typed logic programs are not wrong.
50: \newblock In H.~Kuchen and K.~Ueda, editors, {\em Proceedings of the 5th
51:   International Symposium on Functional and Logic Programming}, LNCS.
52:   Springer-Verlag, 2001.
53: 
54: \bibitem{FLMP89}
55: M.~Falaschi, G.~Levi, M.~Martelli, and C.~Palamidessi.
56: \newblock Declarative modeling of the operational behavior of logic languages.
57: \newblock {\em Theoretical Computer Science}, 69(3):289--318, 1989.
58: 
59: \bibitem{GDL95}
60: R.~Giacobazzi, S.~K. Debray, and G.~Levi.
61: \newblock Generalized semantics and abstract interpretation for constraint
62:   logic programs.
63: \newblock {\em Journal of Logic Programming}, 25(3):191--247, 1995.
64: 
65: \bibitem{Han92}
66: M.~Hanus.
67: \newblock {\em Logic Programming with Type Specifications}, chapter~3, pages
68:   91--140.
69: \newblock In~\cite{P92}.
70: 
71: \bibitem{goedel}
72: P.~M. Hill and J.~W. Lloyd.
73: \newblock {\em {The G{\"o}del Programming Language}}.
74: \newblock MIT Press, 1994.
75: 
76: \bibitem{HT92-new}
77: P.~M. Hill and R.~W. Topor.
78: \newblock {\em A Semantics for Typed Logic Programs}, chapter~1, pages 1--61.
79: \newblock In~\cite{P92}.
80: 
81: \bibitem{K96}
82: S.~Kahrs.
83: \newblock Limits of {M}{L}-definability.
84: \newblock In H.~Kuchen and S.~D. Swierstra, editors, {\em Proceedings of the
85:   8th Symposium on Programming Language Implementations and Logic Programming},
86:   volume 1140 of {\em LNCS}, pages 17--31. Springer-Verlag, 1996.
87: 
88: \bibitem{KFU93-short}
89: A.~J. Kfoury, J.~Tiuryn, and P.~Urzyczyn.
90: \newblock Type reconstruction in the presence of polymorphic recursion.
91: \newblock {\em ACM Transactions on Programming Languages and Systems},
92:   15(2):290--311, 1993.
93: 
94: \bibitem{LR91}
95: T.K. Lakshman and U.S. Reddy.
96: \newblock Typed {P}rolog: A semantic reconstruction of the
97:   {M}ycroft-{O}'{K}eefe type system.
98: \newblock In V.~Saraswat and K.~Ueda, editors, {\em Proceedings of the 1991
99:   International Symposium on Logic Programming}, pages 202--217. MIT Press,
100:   1991.
101: 
102: \bibitem{L87}
103: J.~W. Lloyd.
104: \newblock {\em Foundations of Logic Programming}.
105: \newblock Springer-Verlag, 1987.
106: 
107: \bibitem{LR96}
108: P.~Louvet and O.~Ridoux.
109: \newblock Parametric polymorphism for {T}yped {P}rolog and $\lambda${P}rolog.
110: \newblock In H.~Kuchen and S.~D. Swierstra, editors, {\em Proceedings of the
111:   8th Symposium on Programming Language Implementations and Logic Programming},
112:   volume 1140 of {\em LNCS}, pages 47--61. Springer-Verlag, 1996.
113: 
114: \bibitem{MM82}
115: A.~Martelli and U.~Montanari.
116: \newblock An efficient unification algorithm.
117: \newblock {\em ACM Transactions on Programming Languages and Systems},
118:   4:258--282, 1982.
119: 
120: \bibitem{M78}
121: R.~Milner.
122: \newblock A theory of type polymorphism in programming.
123: \newblock {\em Journal of Computer and System Sciences}, 17(3):348--375, 1978.
124: 
125: \bibitem{MO84}
126: A.~Mycroft and R.~O'Keefe.
127: \newblock A polymorphic type system for {P}rolog.
128: \newblock {\em Artificial Intelligence}, 23:295--307, 1984.
129: 
130: \bibitem{NP92}
131: G.~Nadathur and F.~Pfenning.
132: \newblock {\em Types in Higher-Order Logic Programming}, chapter~9, pages
133:   245--283.
134: \newblock In \cite{P92}.
135: 
136: \bibitem{craft}
137: R.~A. O'Keefe.
138: \newblock {\em {The Craft of {P}rolog}}.
139: \newblock MIT Press, 1990.
140: 
141: \bibitem{P92}
142: F.~Pfenning, editor.
143: \newblock {\em Types in Logic Programming}.
144: \newblock MIT Press, 1992.
145: 
146: \bibitem{RBM99}
147: O.~Ridoux, P.~Boizumault, and F.~Mal\'esieux.
148: \newblock Typed static analysis: Application to groundness analysis of {P}rolog
149:   and $\lambda${P}rolog.
150: \newblock In A.~Middeldorp and T.~Sato, editors, {\em Proceedings of the 4th
151:   Fuji International Symposium on Functional and Logic Programming}, volume
152:   1722 of {\em LNCS}, pages 267--283. Springer-Verlag, 1999.
153: 
154: \bibitem{SFD00}
155: J.-G. Smaus, F.~Fages, and P.~Deransart.
156: \newblock Using modes to ensure subject reduction for typed logic programs with
157:   subtyping.
158: \newblock In S.~Kapoor and S.~Prasad, editors, {\em Proceedings of the 20th
159:   Conference on the Foundations of Software Technology and Theoretical Computer
160:   Science}, volume 1974 of {\em LNCS}. Springer-Verlag, 2000.
161: 
162: \bibitem{SHK00}
163: J.-G. Smaus, P.~M. Hill, and A.~M. King.
164: \newblock Mode analysis domains for typed logic programs.
165: \newblock In A.~Bossi, editor, {\em Proceedings of the 9th International
166:   Workshop on Logic-based Program Synthesis and Transformation}, volume 1817 of
167:   {\em LNCS}, pages 83--102, 2000.
168: 
169: \bibitem{mercury}
170: Z.~Somogyi, F.~Henderson, and T.~Conway.
171: \newblock The execution algorithm of {Mercury}, an efficient purely declarative
172:   logic programming language.
173: \newblock {\em Journal of Logic Programming}, 29(1--3):17--64, 1996.
174: 
175: \bibitem{TBD97}
176: P.~Tarau, K.~De~Bosschere, and B.~Demoen.
177: \newblock On {D}elphi lemmas and other memoing techniques for deterministic
178:   logic programs.
179: \newblock {\em Journal of Logic Programming}, 30(2):145--163, 1997.
180: 
181: \bibitem{Tho91}
182: Simon Thompson.
183: \newblock {\em Type Theory and Functional Programming}.
184: \newblock Addison-Wesley, 1991.
185: 
186: \bibitem{Tho95}
187: Simon Thompson.
188: \newblock {\em Miranda: The Craft of Functional Programming}.
189: \newblock Addison-Wesley, 1995.
190: 
191: \end{thebibliography}
192: