-
1
-
-
0040622367
-
Proving termination of logic programs by transforming them into equivalent term rewriting systems
-
LNCS
-
G. Aguzzi and U. Modigliani. Proving termination of logic programs by transforming them into equivalent term rewriting systems. FST&TCS, LNCS 761, pp. 114-124. 1993.
-
(1993)
FST&TCS
, vol.761
, pp. 114-124
-
-
Aguzzi, G.1
Modigliani, U.2
-
2
-
-
84976729598
-
Directional type checking of logic programs
-
LNCS
-
A. Aiken and T.K. Lakshman. Directional type checking of logic programs. In Proc. of SAS, LNCS 864, pages 43-60, 1994.
-
(1994)
Proc. of SAS
, vol.864
, pp. 43-60
-
-
Aiken, A.1
Lakshman, T.K.2
-
3
-
-
84957630896
-
On the unification free Prolog programs
-
LNCS Springer
-
K.R. Apt and S. Etalle. On the unification free Prolog programs. Proc MFCS LNCS 711, pp. 1-19. Springer, 1993.
-
(1993)
Proc MFCS
, vol.711
, pp. 1-19
-
-
Apt, K.R.1
Etalle, S.2
-
4
-
-
85027663554
-
Proving termination of general Prolog programs
-
LNCS Springer-Verlag
-
K.R. Apt and D. Pedreschi. Proving termination of general Prolog programs. In Proc TACS, LNCS 526, pages 265-289. Springer-Verlag, 1991.
-
(1991)
Proc TACS
, vol.526
, pp. 265-289
-
-
Apt, K.R.1
Pedreschi, D.2
-
5
-
-
84947977090
-
Termination of logic programs using semantic unification
-
LNCS. To appear
-
T. Arts and H. Zantema. Termination of logic programs using semantic unification. In Proc. 5th LoPSTr, LNCS. 1996. To appear.
-
(1996)
Proc. 5th LoPSTr
-
-
Arts, T.1
Zantema, H.2
-
6
-
-
0040622369
-
Proving termination properties of Prolog programs: A semantic approach
-
M. Baudinet. Proving termination properties of Prolog programs: a semantic approach. Journal of Logic Programming, 14:1-29, 1992.
-
(1992)
Journal of Logic Programming
, vol.14
, pp. 1-29
-
-
Baudinet, M.1
-
7
-
-
0001434976
-
A framework of directionality for proving termination of logic programs
-
The MIT Press
-
F. Bronsard, T.K. Lakshman, and U.S Reddy. A framework of directionality for proving termination of logic programs. Proc. JICSLP, pp. 321-335. The MIT Press, 1992.
-
(1992)
Proc. JICSLP
, pp. 321-335
-
-
Bronsard, F.1
Lakshman, T.K.2
Reddy, U.S.3
-
11
-
-
84958045834
-
On termination of constraint logic programs
-
LNCS Springer
-
L. Colussi, E. Marchiori, and M. Marchiori. On termination of constraint logic programs. In Proc. CP'95, LNCS 976, pp. 431-448. Springer, 1995.
-
(1995)
Proc. CP'95
, vol.976
, pp. 431-448
-
-
Colussi, L.1
Marchiori, E.2
Marchiori, M.3
-
13
-
-
0028429645
-
Termination of logic programs: The never-ending story
-
D. de Schreye and S. Decorte. Termination of logic programs: The never-ending story. Journal of Logic Programming, 19,20:199-260, 1994.
-
(1994)
Journal of Logic Programming
, vol.19
, Issue.20
, pp. 199-260
-
-
de Schreye, D.1
Decorte, S.2
-
14
-
-
0024700858
-
Static inference of modes and data dependencies in logic programs
-
July
-
S.K. Debray. Static inference of modes and data dependencies in logic programs. ACM TOPLAS, 11(3):418-450, July 1989.
-
(1989)
ACM TOPLAS
, vol.11
, Issue.3
, pp. 418-450
-
-
Debray, S.K.1
-
18
-
-
0039833103
-
Proving termination of Prolog programs
-
R. Parikh, editor, Springer
-
N. Franchez, O. Grumberg, S. Katz, and A. Pnueli. Proving termination of Prolog programs. In R. Parikh, editor, Logics of programs, pp. 89-105. Springer, 1985.
-
(1985)
Logics of programs
, pp. 89-105
-
-
Franchez, N.1
Grumberg, O.2
Katz, S.3
Pnueli, A.4
-
19
-
-
84963895047
-
Termination proofs of well-moded logic programs via conditional rewrite systems
-
LNCS Springer
-
H. Ganzinger and U. Waldmann. Termination proofs of well-moded logic programs via conditional rewrite systems. CTRS'92, LNCS 656, pp. 216-222. Springer, 1993.
-
(1993)
CTRS'92
, vol.656
, pp. 216-222
-
-
Ganzinger, H.1
Waldmann, U.2
-
20
-
-
14544281571
-
Contributions to a theory of existential termination for definite logic programs
-
G. Levi and F. Scozzari. Contributions to a theory of existential termination for definite logic programs. GULP-PRODE'95, pp. 631-642. 1995.
-
(1995)
GULP-PRODE'95
, pp. 631-642
-
-
Levi, G.1
Scozzari, F.2
-
22
-
-
0029679015
-
Practical methods for proving termination of general logic programs
-
To appear
-
E. Marchiori. Practical methods for proving termination of general logic programs. The Journal of Artificial Intelligence Research, 1996. To appear.
-
(1996)
The Journal of Artificial Intelligence Research
-
-
Marchiori, E.1
-
24
-
-
33749845556
-
Localizations of unification freedom through matching directions
-
The MIT Press
-
M. Marchiori. Localizations of unification freedom through matching directions. Proc. International Logic Programming Symposium, pp. 392-406. The MIT Press, 1994.
-
(1994)
Proc. International Logic Programming Symposium
, pp. 392-406
-
-
Marchiori, M.1
-
25
-
-
0029201817
-
The functional side of logic programming
-
ACM Press
-
M. Marchiori. The functional side of logic programming. In Proc. ACM FPCA, pages 55-65. ACM Press, 1995.
-
(1995)
Proc. ACM FPCA
, pp. 55-65
-
-
Marchiori, M.1
-
26
-
-
0040425687
-
A transformational methodology for proving termination of logic programs
-
LNCS Springer
-
K. Rao, D. Kapur, and R.K. Shyamasundar. A transformational methodology for proving termination of logic programs. 5th CSL, LNCS 626, pp. 213-226, Springer, 1992.
-
(1992)
5th CSL
, vol.626
, pp. 213-226
-
-
Rao, K.1
Kapur, D.2
Shyamasundar, R.K.3
-
27
-
-
84947931379
-
-
FME'93, LNCS Springer
-
K Rao, P.K. Pandya, and R.K. Shyamasunder. Verification tools in the development of provably correct compilers. FME'93, LNCS 670, pp. 442-461. Springer, 1993.
-
(1993)
Verification tools in the development of provably correct compilers
, vol.670
, pp. 442-461
-
-
Rao, K.1
Pandya, P.K.2
Shyamasunder, R.K.3
-
28
-
-
0347475709
-
Integrating modes and subtypes into a Prolog type checker
-
The MIT Press
-
Y. Rouzaud and L. Nguyen-Phoung. Integrating modes and subtypes into a Prolog type checker. In Proc. JICSLP, pages 85-97. The MIT Press, 1992.
-
(1992)
Proc. JICSLP
, pp. 85-97
-
-
Rouzaud, Y.1
Nguyen-Phoung, L.2
-
30
-
-
0028482972
-
A methodology for proving termination of logic programs
-
B. Wang and R.K. Shyamasundar. A methodology for proving termination of logic programs. Journal of Logic Programming, 21(1):1-30, 1994.
-
(1994)
Journal of Logic Programming
, vol.21
, Issue.1
, pp. 1-30
-
-
Wang, B.1
Shyamasundar, R.K.2
|