-
1
-
-
0040622367
-
Proving termination of logic program by transforming them into equivalent term rewriting systems
-
Shyamasundar, R. K. (ed.), Springer-Verlag
-
Aguzzi, G. and Modigliani, U. (1993) Proving termination of logic program by transforming them into equivalent term rewriting systems. In: Shyamasundar, R. K. (ed.), Proc. of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science 761, pp. 114-124. Springer-Verlag.
-
(1993)
Proc. of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science 761
, pp. 114-124
-
-
Aguzzi, G.1
Modigliani, U.2
-
4
-
-
84957630896
-
On the unification free Prolog programs
-
Borzyszkowski, A. and Sokolowski, S. (eds.), Springer-Verlag.
-
Apt, K. R. and Etalle, S. (1993) On the unification free Prolog programs. In: Borzyszkowski, A. and Sokolowski, S. (eds.), Proc. of the 18th International Symposium on Mathematical Foundations of Computer Science: Lecture Notes in Computer Science 711, pp. 1-19. Springer-Verlag.
-
(1993)
Proc. of the 18th International Symposium on Mathematical Foundations of Computer Science: Lecture Notes in Computer Science 711
, pp. 1-19
-
-
Apt, K.R.1
Etalle, S.2
-
5
-
-
84957810442
-
Verification of logic programs with delay declarations
-
Alagar, V. S. and Nivat, M. (eds.), Springer-Verlag
-
Apt, K. R. and Luitjes, I. (1995) Verification of logic programs with delay declarations. In: Alagar, V. S. and Nivat, M. (eds.), Proc. of the 4th International Conference on Algebraic Methodology and Software Technology: Lecture Notes in Computer Science 936, pp. 66-90. Springer-Verlag.
-
(1995)
Proc. of the 4th International Conference on Algebraic Methodology and Software Technology: Lecture Notes in Computer Science 936
, pp. 66-90
-
-
Apt, K.R.1
Luitjes, I.2
-
6
-
-
0001609012
-
Reasoning about termination of pure Prolog programs
-
Apt, K. R. and Pedreschi, D. (1993) Reasoning about termination of pure Prolog programs. Information and Computation, 106(1), 109-157.
-
(1993)
Information and Computation
, vol.106
, Issue.1
, pp. 109-157
-
-
Apt, K.R.1
Pedreschi, D.2
-
7
-
-
0003144205
-
Modular termination proofs for logic and pure Prolog programs
-
Levi, G. (ed.), Oxford University Press
-
Apt, K. R. and Pedreschi, D. (1994). Modular termination proofs for logic and pure Prolog programs. In: Levi, G. (ed.), Advances in Logic Programming Theory, pp. 183-229. Oxford University Press.
-
(1994)
Advances in Logic Programming Theory
, pp. 183-229
-
-
Apt, K.R.1
Pedreschi, D.2
-
8
-
-
0039493852
-
A declarative approach for first-order built-in's of Prolog
-
Apt, K. R., Marchiori, E. and Palamidessi, C. (1994) A declarative approach for first-order built-in's of Prolog. Applicable Algebra in Engineering, Communication and Computation, 5(3/4), 159-191.
-
(1994)
Applicable Algebra in Engineering, Communication and Computation
, vol.5
, Issue.3-4
, pp. 159-191
-
-
Apt, K.R.1
Marchiori, E.2
Palamidessi, C.3
-
11
-
-
0040622369
-
Proving termination properties of Prolog programs: A semantic approach
-
Baudinet, M. (1992) Proving termination properties of Prolog programs: a semantic approach. J. Logic Programming, 14, 1-29.
-
(1992)
J. Logic Programming
, vol.14
, pp. 1-29
-
-
Baudinet, M.1
-
12
-
-
84949471838
-
Inferring argument size relationships with CLP(R)
-
Gallagher, J. P. (ed.), Springer-Verlag
-
Benoy, F. and King, A. (1997) Inferring argument size relationships with CLP(R). In: Gallagher, J. P. (ed.), Proc. of the 6th International Workshop on Logic Programming Synthesis and Transformation: Lecture Notes in Computer Science 1207, pp. 204-223. Springer-Verlag.
-
(1997)
Proc. of the 6th International Workshop on Logic Programming Synthesis and Transformation: Lecture Notes in Computer Science 1207
, pp. 204-223
-
-
Benoy, F.1
King, A.2
-
13
-
-
0002882910
-
Strong termination of logic programs
-
Bezem, M. A. (1993) Strong termination of logic programs. J. Logic Programming, 15(1/2), 79-98.
-
(1993)
J. Logic Programming
, vol.15
, Issue.1-2
, pp. 79-98
-
-
Bezem, M.A.1
-
14
-
-
0026206586
-
An analysis of loop checking mechanism for logic programs
-
Bol, R. N., Apt, K. R. and Klop, J. W. (1991) An analysis of loop checking mechanism for logic programs. Theoretical Computer Science, 86(1), 35-79.
-
(1991)
Theoretical Computer Science
, vol.86
, Issue.1
, pp. 35-79
-
-
Bol, R.N.1
Apt, K.R.2
Klop, J.W.3
-
15
-
-
0028378329
-
Norms on terms and their use in proving universal termination of a logic program
-
Bossi, A., Cocco, N. and Fabris, M. (1994) Norms on terms and their use in proving universal termination of a logic program. Theoretical Computer Science, 124(2), 297-328.
-
(1994)
Theoretical Computer Science
, vol.124
, Issue.2
, pp. 297-328
-
-
Bossi, A.1
Cocco, N.2
Fabris, M.3
-
16
-
-
0346457251
-
Properties of input-consuming derivations
-
Etalle, S. and Smaus, J.-G. (eds.)
-
Bossi, A., Etalle, S. and Rossi, S. (1999) Properties of input-consuming derivations. In: Etalle, S. and Smaus, J.-G. (eds.), Proc. of the ICLP Workshop on Verification of Logic Programs: Electronic Notes in Theoretical Computer Science, 30(1).
-
(1999)
Proc. of the ICLP Workshop on Verification of Logic Programs: Electronic Notes in Theoretical Computer Science
, vol.30
, Issue.1
-
-
Bossi, A.1
Etalle, S.2
Rossi, S.3
-
17
-
-
84867799087
-
Semantics of input-consuming logic programs
-
Lloyd, J. W. et al. (eds.), Springer-Verlag
-
Bossi, A., Etalle, S. and Rossi, S. (2000) Semantics of input-consuming logic programs. In: Lloyd, J. W. et al. (eds.), Proc. of the 1st International Conference on Computational Logic: Lecture Notes in Computer Science 1861, pp. 194-208. Springer-Verlag.
-
(2000)
Proc. of the 1st International Conference on Computational Logic: Lecture Notes in Computer Science 1861
, pp. 194-208
-
-
Bossi, A.1
Etalle, S.2
Rossi, S.3
-
18
-
-
84945259149
-
Semantics and termination of logic programs with dynamic scheduling
-
Sands, D. (ed.), Springer-Verlag
-
Bossi, A., Etalle, S., Rossi, S. and Smaus, J.-G. (2001) Semantics and termination of logic programs with dynamic scheduling. In: Sands, D. (ed.), Proc. of the 10th European Symposium on Programming: Lecture Notes in Computer Science 2028, pp. 402-416. Springer-Verlag.
-
(2001)
Proc. of the 10th European Symposium on Programming: Lecture Notes in Computer Science 2028
, pp. 402-416
-
-
Bossi, A.1
Etalle, S.2
Rossi, S.3
Smaus, J.-G.4
-
19
-
-
0343515279
-
Cardinality analysis of Prolog
-
Bruynooghe, M. (ed.), MIT Press
-
Braem, C., Charlier, B. Le, Modart, S. and Van Hentenryck, P. (1994) Cardinality analysis of Prolog. In: Bruynooghe, M. (ed.), Proc. of the International Logic Programming Symposium, pp. 457-471. MIT Press.
-
(1994)
Proc. of the International Logic Programming Symposium
, pp. 457-471
-
-
Braem, C.1
Le Charlier, B.2
Modart, S.3
Van Hentenryck, P.4
-
20
-
-
0001434976
-
A framework of directionality for proving termination of logic programs
-
Apt, K. R. (ed.), MIT Press
-
Bronsard, F., Lakshman, T. K. and Reddy, U. S. (1992) A framework of directionality for proving termination of logic programs. In: Apt, K. R. (ed.), Proc. of the Joint International Conference and Symposium on Logic Programming, pp. 321-335. MIT Press.
-
(1992)
Proc. of the Joint International Conference and Symposium on Logic Programming
, pp. 321-335
-
-
Bronsard, F.1
Lakshman, T.K.2
Reddy, U.S.3
-
21
-
-
84947800948
-
Detecting unsolvable queries for definite logic programs
-
Palamidessi, C. et al. (eds.), Springer-Verlag
-
Bruynooghe, M., Vandecasteele, H., de Waal, D. A. and Denecker, M. (1998) Detecting unsolvable queries for definite logic programs. In: Palamidessi, C. et al. (eds.), Proc. of PLILP/ALP '98: Lecture Notes in Computer Science 1490, pp. 118-133. Springer-Verlag.
-
(1998)
Proc. of PLILP/ALP '98: Lecture Notes in Computer Science 1490
, pp. 118-133
-
-
Bruynooghe, M.1
Vandecasteele, H.2
De Waal, D.A.3
Denecker, M.4
-
22
-
-
0002223019
-
Continuity, consistency, and completeness properties for logic programs
-
Levi, G. and Martelli, M. (eds.), The MIT Press
-
Cavedon, L. (1989) Continuity, consistency, and completeness properties for logic programs. In: Levi, G. and Martelli, M. (eds.), Proceedings of the International Conference on Logic Programming, pp. 571-584. The MIT Press.
-
(1989)
Proceedings of the International Conference on Logic Programming
, pp. 571-584
-
-
Cavedon, L.1
-
23
-
-
0032678119
-
A semantic basis for the termination analysis of logic programs
-
Codish, M. and Taboch, C. (1999) A semantic basis for the termination analysis of logic programs. J. Logic Programming, 41(1), 103-123.
-
(1999)
J. Logic Programming
, vol.41
, Issue.1
, pp. 103-123
-
-
Codish, M.1
Taboch, C.2
-
24
-
-
84958045834
-
On termination of constraint logic programs
-
Bruynooghe, M. and Penjam, J. (eds.), Springer-Verlag
-
Colussi, L., Marchiori, E. and Marchiori, M. (1995) On termination of constraint logic programs. In: Bruynooghe, M. and Penjam, J. (eds.), Proc. of the 1st International Conference of Principles and Practice of Constraint Programming: Lecture Notes in Computer Science 976, pp. 431-448. Springer-Verlag.
-
(1995)
Proc. of the 1st International Conference of Principles and Practice of Constraint Programming: Lecture Notes in Computer Science 976
, pp. 431-448
-
-
Colussi, L.1
Marchiori, E.2
Marchiori, M.3
-
25
-
-
0028429645
-
Termination of logic programs: The never-ending story
-
De Schreye, D. and Decorte, S. (1994) Termination of logic programs: the never-ending story. J. Logic Programming, 19-20, 199-260.
-
(1994)
J. Logic Programming
, vol.19-20
, pp. 199-260
-
-
De Schreye, D.1
Decorte, S.2
-
26
-
-
0001653160
-
A framework for analyzing the termination of definite logic programs with respect to call patterns
-
Institute for New Generation Computer Technology
-
De Schreye, D., Verschaetse, K. and Bruynooghe, M. (1992) A framework for analyzing the termination of definite logic programs with respect to call patterns. In: Proc. of the International Conference on Fifth Generation Computer Systems, pp. 481-488. Institute for New Generation Computer Technology.
-
(1992)
Proc. of the International Conference on Fifth Generation Computer Systems
, pp. 481-488
-
-
De Schreye, D.1
Verschaetse, K.2
Bruynooghe, M.3
-
28
-
-
0002825410
-
Automatic inference of norms: A missing link in automatic termination analysis
-
Miller, D. (ed.), The MIT Press
-
Decorte, S., De Schreye, D. and Fabris, M. (1993) Automatic inference of norms: A missing link in automatic termination analysis. In: Miller, D. (ed.), Proc. of the International Logic Programming Symposium, pp. 420-436. The MIT Press.
-
(1993)
Proc. of the International Logic Programming Symposium
, pp. 420-436
-
-
Decorte, S.1
De Schreye, D.2
Fabris, M.3
-
29
-
-
84947932058
-
Termination analysis for tabled logic programming
-
Fuchs, N. E. (ed.), Springer-Verlag
-
Decorte, S., De Schreye, D., Leuschel, M., Martens, B. and Sagonas, K. (1998) Termination analysis for tabled logic programming. In: Fuchs, N. E. (ed.), Proc. of the 7th International Workshop on Logic Programming Synthesis and Transformation: Lecture Notes in Computer Science 1463, pp. 111-127. Springer-Verlag.
-
(1998)
Proc. of the 7th International Workshop on Logic Programming Synthesis and Transformation: Lecture Notes in Computer Science 1463
, pp. 111-127
-
-
Decorte, S.1
De Schreye, D.2
Leuschel, M.3
Martens, B.4
Sagonas, K.5
-
30
-
-
0001004312
-
Constraint-based termination analysis of logic programs
-
Decorte, S., De Schreye, D. and Vandecasteele, H. (1999) Constraint-based termination analysis of logic programs. ACM Trans. on Programming Languages and Systems, 21(6), 1137-1195.
-
(1999)
ACM Trans. on Programming Languages and Systems
, vol.21
, Issue.6
, pp. 1137-1195
-
-
Decorte, S.1
De Schreye, D.2
Vandecasteele, H.3
-
32
-
-
0033078655
-
Termination of well-moded programs
-
Etalle, S., Bossi, A. and Cocco, N. (1999) Termination of well-moded programs. J. Logic Programming, 38(2), 243-257.
-
(1999)
J. Logic Programming
, vol.38
, Issue.2
, pp. 243-257
-
-
Etalle, S.1
Bossi, A.2
Cocco, N.3
-
33
-
-
84963895047
-
Termination proofs of well-moded logic programs via conditional rewrite systems
-
Rusinowitch, M. and Rémy, J. L. (eds.), Springer-Verlag
-
Ganzinger, H. and Waldmann, U. (1992) Termination proofs of well-moded logic programs via conditional rewrite systems. In: Rusinowitch, M. and Rémy, J. L. (eds.), Proc. of the 3rd International Workshop on Conditional Term Rewriting Systems: Lecture Notes in Computer Science 656, pp. 430-437. Springer-Verlag.
-
(1992)
Proc. of the 3rd International Workshop on Conditional Term Rewriting Systems: Lecture Notes in Computer Science 656
, pp. 430-437
-
-
Ganzinger, H.1
Waldmann, U.2
-
34
-
-
84956855665
-
An abstract interpretation approach to termination of logic programs
-
Parigot, M. and Voronkov, A. (eds.), Springer-Verlag
-
Gori, R. (2000) An abstract interpretation approach to termination of logic programs. In: Parigot, M. and Voronkov, A. (eds.), Proc. of the 7th International Conference on Logic for Programming and Automated Reasoning: Lecture Notes in Computer Science 1955, pp. 362-380. Springer-Verlag.
-
(2000)
Proc. of the 7th International Conference on Logic for Programming and Automated Reasoning: Lecture Notes in Computer Science 1955
, pp. 362-380
-
-
Gori, R.1
-
36
-
-
0041392847
-
Acceptable programs revisited
-
Etalle, S. and Smaus, J.-G. (eds.)
-
Hitzler, P. and Seda, A. K. (1999) Acceptable programs revisited. In: Etalle, S. and Smaus, J.-G. (eds.), Proc. of ICLP Workshop on Verification of Logic Programs: Electronic Notes in Theoretical Computer Science, 30(1).
-
(1999)
Proc. of ICLP Workshop on Verification of Logic Programs: Electronic Notes in Theoretical Computer Science
, vol.30
, Issue.1
-
-
Hitzler, P.1
Seda, A.K.2
-
37
-
-
84947909267
-
Inferring and compiling termination for constraint logic programs
-
Flener, P. (ed.), Springer-Verlag
-
Hoarau, S. and Mesnard, F. (1998) Inferring and compiling termination for constraint logic programs. In: Flener, P. (ed.), Proc. of the 8th International Workshop on Logic Programming Synthesis and Transformation: Lecture Notes in Computer Science 1559, pp. 240-254. Springer-Verlag.
-
(1998)
Proc. of the 8th International Workshop on Logic Programming Synthesis and Transformation: Lecture Notes in Computer Science 1559
, pp. 240-254
-
-
Hoarau, S.1
Mesnard, F.2
-
38
-
-
85034528209
-
σ-termination: From a characterisation to an automated sufficient condition
-
To appear
-
Hoarau, S. and Mesnard, F. (2001) σ-termination: from a characterisation to an automated sufficient condition. Theory and Practice of Logic Programming. To appear.
-
(2001)
Theory and Practice of Logic Programming
-
-
Hoarau, S.1
Mesnard, F.2
-
39
-
-
84976816925
-
Algorithm = Logic + Control
-
Kowalski, R. A. (1979) Algorithm = Logic + Control. Comm. of the ACM, 22(7), 424-436.
-
(1979)
Comm. of the ACM
, vol.22
, Issue.7
, pp. 424-436
-
-
Kowalski, R.A.1
-
40
-
-
0040425687
-
A transformational methodology for proving termination of logic programs
-
Börger, E., Jäger, G., Kleine Büning, H. and Richter, M. M. (eds.), Springer-Verlag
-
Krishna Rao, M. R. K., Kapur, D. and Shyamasundar, R. K. (1992) A transformational methodology for proving termination of logic programs. In: Börger, E., Jäger, G., Kleine Büning, H. and Richter, M. M. (eds.), Proc. of the 5th Workshop on Computer Science Logic: Lecture Notes in Computer Science 626, pp. 213-226. Springer-Verlag.
-
(1992)
Proc. of the 5th Workshop on Computer Science Logic: Lecture Notes in Computer Science 626
, pp. 213-226
-
-
Krishna Rao, M.R.K.1
Kapur, D.2
Shyamasundar, R.K.3
-
41
-
-
0031379936
-
Proving termination of GHC programs
-
Krishna Rao, M. R. K., Kapur, D. and Shyamasundar, R. K. (1997) Proving termination of GHC programs. New Generation Computing, 15(3), 293-338.
-
(1997)
New Generation Computing
, vol.15
, Issue.3
, pp. 293-338
-
-
Krishna Rao, M.R.K.1
Kapur, D.2
Shyamasundar, R.K.3
-
42
-
-
0039346788
-
Transformational methodology for proving termination of logic programs
-
Krishna Rao, M. R. K., Kapur, D. and Shyamasundar, R. K. (1998) Transformational methodology for proving termination of logic programs. J. Logic Programming, 34(1), 1-41.
-
(1998)
J. Logic Programming
, vol.34
, Issue.1
, pp. 1-41
-
-
Krishna Rao, M.R.K.1
Kapur, D.2
Shyamasundar, R.K.3
-
43
-
-
0001858814
-
Automatic termination analysis of logic programs
-
Naish, L. (ed.), The MIT Press
-
Lindenstrauss, N. and Sagiv, Y. (1997) Automatic termination analysis of logic programs. In: Naish, L. (ed.), Proc. of the International Conference on Logic Programming, pp. 63-77. The MIT Press.
-
(1997)
Proc. of the International Conference on Logic Programming
, pp. 63-77
-
-
Lindenstrauss, N.1
Sagiv, Y.2
-
45
-
-
0029753434
-
On termination of general logic programs w.r.t. constructive negation
-
Marchiori, E. (1996a) On termination of general logic programs w.r.t. constructive negation. J. Logic Programming, 26(1), 69-89.
-
(1996)
J. Logic Programming
, vol.26
, Issue.1
, pp. 69-89
-
-
Marchiori, E.1
-
46
-
-
0032676384
-
On termination of logic programs with delay declarations
-
Marchiori, E. and Teusink, F. (1999) On termination of logic programs with delay declarations. J. Logic Programming, 39(1-3), 95-124.
-
(1999)
J. Logic Programming
, vol.39
, Issue.1-3
, pp. 95-124
-
-
Marchiori, E.1
Teusink, F.2
-
47
-
-
84949197430
-
Logic programs as term rewriting systems
-
Levi, G. and Rodríguez-Artalejo, M. (eds.), Springer-Verlag
-
Marchiori, M. (1994) Logic programs as term rewriting systems. In: Levi, G. and Rodríguez-Artalejo, M. (eds.), Proc. of the 4th International Conference on Algebraic and Logic Programming: Lecture Notes in Computer Science 850, pp. 223-241. Springer-Verlag.
-
(1994)
Proc. of the 4th International Conference on Algebraic and Logic Programming: Lecture Notes in Computer Science 850
, pp. 223-241
-
-
Marchiori, M.1
-
48
-
-
84947910004
-
Proving existential termination of normal logic programs
-
Wirsing, M. and Nivat, M. (eds.), Springer-Verlag
-
Marchiori, M. (1996b) Proving existential termination of normal logic programs. In: Wirsing, M. and Nivat, M. (eds.), Proc. of the 5th International Conference on Algebraic Methodology and Software Technology: Lecture Notes in Computer Science 1101, pp. 375-390. Springer-Verlag.
-
(1996)
Proc. of the 5th International Conference on Algebraic Methodology and Software Technology: Lecture Notes in Computer Science 1101
, pp. 375-390
-
-
Marchiori, M.1
-
49
-
-
84956993004
-
Generating efficient, terminating logic programs
-
Bidoit, M. and Dauchet, M. (eds.), Springer-Verlag
-
Martin, J. and King, A. (1997) Generating efficient, terminating logic programs. In: Bidoit, M. and Dauchet, M. (eds.), Proc. of the 7th International Conference on Theory and Practice of Software Development: Lecture Notes in Computer Science 1214, pp. 273-284. Springer-Verlag.
-
(1997)
Proc. of the 7th International Conference on Theory and Practice of Software Development: Lecture Notes in Computer Science 1214
, pp. 273-284
-
-
Martin, J.1
King, A.2
-
50
-
-
0345826215
-
-
PhD thesis, Oxford University Computing Laboratory
-
McPhee, R. (2000) Compositional logic programming. PhD thesis, Oxford University Computing Laboratory.
-
(2000)
Compositional Logic Programming
-
-
McPhee, R.1
-
52
-
-
85034527001
-
Implementing cTI : A constrained-based left-termination inference tool for LP
-
de Castro Dutra, I., Costa, V. S., Silva, F., Pontelli, E. and Carro, M. (eds.)
-
Mesnard, F., Neumerkel, U. and Hoarau, S. (2000) Implementing cTI : a constrained-based left-termination inference tool for LP. In: de Castro Dutra, I., Costa, V. S., Silva, F., Pontelli, E. and Carro, M. (eds.), Proc. of the CL Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, pp. 152-166.
-
(2000)
Proc. of the CL Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages
, pp. 152-166
-
-
Mesnard, F.1
Neumerkel, U.2
Hoarau, S.3
-
54
-
-
0347717975
-
Localizing and explaining reasons for nonterminating logic programs with failure slices
-
Nadathur, G. (ed.), Springer-Verlag
-
Neumerkel, U. and Mesnard, F. (1999) Localizing and explaining reasons for nonterminating logic programs with failure slices. In: Nadathur, G. (ed.), Proc. of the International Conference on Principles and Practice of Declarative Programming: Lecture Notes in Computer Science 1702, pp. 328-341. Springer-Verlag.
-
(1999)
Proc. of the International Conference on Principles and Practice of Declarative Programming: Lecture Notes in Computer Science 1702
, pp. 328-341
-
-
Neumerkel, U.1
Mesnard, F.2
-
55
-
-
0041353593
-
Bounded nondeterminism of logic programs
-
De Schreye, D. (ed.), The MIT Press
-
Pedreschi, D. and Ruggieri, S. (1999a) Bounded nondeterminism of logic programs. In: De Schreye, D. (ed.), Proc. of the International Conference on Logic Programming, pp. 350-364. The MIT Press.
-
(1999)
Proc. of the International Conference on Logic Programming
, pp. 350-364
-
-
Pedreschi, D.1
Ruggieri, S.2
-
56
-
-
0345826222
-
On logic programs that do not fail
-
Etalle, S. and Smaus, J.-G. (eds.)
-
Pedreschi, D. and Ruggieri, S. (1999b) On logic programs that do not fail. In: Etalle, S. and Smaus, J.-G. (eds.), Proc. of ICLP Workshop on Verification of Logic Programs: Electronic Notes in Theoretical Computer Science, 30(1).
-
(1999)
Proc. of ICLP Workshop on Verification of Logic Programs: Electronic Notes in Theoretical Computer Science
, vol.30
, Issue.1
-
-
Pedreschi, D.1
Ruggieri, S.2
-
57
-
-
0032673905
-
Verification of Logic Programs
-
Pedreschi, D. and Ruggieri, S. (1999c) Verification of Logic Programs. J. Logic Programming, 39(1-3), 125-176.
-
(1999)
J. Logic Programming
, vol.39
, Issue.1-3
, pp. 125-176
-
-
Pedreschi, D.1
Ruggieri, S.2
-
59
-
-
84951135057
-
Termination of constraint logic programs
-
Degano, P., Gorrieri, R. and Marchetti-Spaccamela, A. (eds.), Springer-Verlag
-
Ruggieri, S. (1997) Termination of constraint logic programs. In: Degano, P., Gorrieri, R. and Marchetti-Spaccamela, A. (eds.), Proc. of the 24th International Colloquium on Automata, Languages and Programming (ICALP '97): Lecture Notes in Computer Science 1256, pp. 838-848. Springer-Verlag.
-
(1997)
Proc. of the 24th International Colloquium on Automata, Languages and Programming (ICALP '97): Lecture Notes in Computer Science 1256
, pp. 838-848
-
-
Ruggieri, S.1
-
61
-
-
0034927575
-
∃-universal termination of logic programs
-
Ruggieri, S. (2001) ∃-universal termination of logic programs. Theoretical Computer Science, 254(1-2), 273-296.
-
(2001)
Theoretical Computer Science
, vol.254
, Issue.1-2
, pp. 273-296
-
-
Ruggieri, S.1
-
62
-
-
0026291947
-
A termination test for logic programs
-
Saraswat, V. A. and Ueda, K. (eds.), The MIT Press
-
Sagiv, Y. (1991) A termination test for logic programs. In: Saraswat, V. A. and Ueda, K. (eds.), Proc. of the International Logic Programming Symposium, pp. 518-532. The MIT Press.
-
(1991)
Proc. of the International Logic Programming Symposium
, pp. 518-532
-
-
Sagiv, Y.1
-
63
-
-
84879469606
-
Non-transformational termination analysis of logic programs, based on general term-orderings
-
Lau, K. (ed.), Springer-Verlag.
-
Serebrenik, A. and Schreye, D. De. (2001) Non-transformational termination analysis of logic programs, based on general term-orderings. In: Lau, K. (ed.), Proc. of the 10th International Workshop on Logic Programming Synthesis and Transformation, selected papers: Lecture Notes in Computer Science 2042, pp. 69-85. Springer-Verlag.
-
(2001)
Proc. of the 10th International Workshop on Logic Programming Synthesis and Transformation, Selected Papers: Lecture Notes in Computer Science 2042
, pp. 69-85
-
-
Serebrenik, A.1
De Schreye, D.2
-
64
-
-
0005317112
-
-
Intelligent Systems Laboratory, Swedish Institute of Computer Science, PO Box 1263, S-164 29 Kista, Sweden
-
SICStus (1998) SICStus Prolog user's manual. Intelligent Systems Laboratory, Swedish Institute of Computer Science, PO Box 1263, S-164 29 Kista, Sweden. http://www.sics.se/sicstus/docs/3.7.1/html/sicstus-toc.html.
-
(1998)
SICStus Prolog User's Manual
-
-
-
66
-
-
0002896208
-
Proving termination of input-consuming logic programs
-
De Schreye, D. (ed.), MIT Press
-
Smaus, J.-G. (1999b) Proving termination of input-consuming logic programs. In: De Schreye, D. (ed.), Proc. of the International Conference on Logic Programming, pp. 335-349. MIT Press.
-
(1999)
Proc. of the International Conference on Logic Programming
, pp. 335-349
-
-
Smaus, J.-G.1
-
67
-
-
0041854316
-
Verifying termination and error-freedom of logic programs with block declarations
-
Smaus, J.-G., Hill, P. M. and King, A. M. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1(4), 447-486.
-
(2001)
Theory and Practice of Logic Programming
, vol.1
, Issue.4
, pp. 447-486
-
-
Smaus, J.-G.1
Hill, P.M.2
King, A.M.3
-
68
-
-
0030262017
-
The execution algorithm of Mercury, an efficient purely declarative logic programming language
-
Somogyi, Z., Henderson, F. and Conway, T. (1996) The execution algorithm of Mercury, an efficient purely declarative logic programming language. J. Logic Programming, 29(1-3), 17-64.
-
(1996)
J. Logic Programming
, vol.29
, Issue.1-3
, pp. 17-64
-
-
Somogyi, Z.1
Henderson, F.2
Conway, T.3
-
69
-
-
84890082647
-
Termination analysis for Mercury
-
Van Hentenryck, P. (ed.), Springer-Verlag
-
Speirs, C., Somogyi, Z. and Sondergaard, H. (1997) Termination analysis for Mercury. In: Van Hentenryck, P. (ed.), Proc. of the 4th International Static Analysis Symposium: Lecture Notes in Computer Science 1302, pp. 160-171. Springer-Verlag.
-
(1997)
Proc. of the 4th International Static Analysis Symposium: Lecture Notes in Computer Science 1302
, pp. 160-171
-
-
Speirs, C.1
Somogyi, Z.2
Sondergaard, H.3
-
70
-
-
0032162924
-
The theoretical foundations of LPTP (A Logic Program Theorem Prover)
-
Stärk, R. F. (1998) The theoretical foundations of LPTP (A Logic Program Theorem Prover). J. Logic Programming, 36(3), 241-269.
-
(1998)
J. Logic Programming
, vol.36
, Issue.3
, pp. 241-269
-
-
Stärk, R.F.1
-
72
-
-
0004475133
-
-
Technical report, Department of Computer Science, University of Melbourne, Australia
-
Thom, J. and Zobel, J. (1988) NU-Prolog reference manual, version 1.3. Technical report, Department of Computer Science, University of Melbourne, Australia.
-
(1988)
NU-Prolog Reference Manual, Version 1.3
-
-
Thom, J.1
Zobel, J.2
-
73
-
-
0002974347
-
Guarded Horn Clauses, a parallel logic programming language with the concept of a guard
-
Nivat, M. and Fuchi, K. (eds.), North Holland, Amsterdam
-
Ueda, K. (1988) Guarded Horn Clauses, a parallel logic programming language with the concept of a guard. In: Nivat, M. and Fuchi, K. (eds.), Programming of Future Generation Computers, pp. 441-456. North Holland, Amsterdam.
-
(1988)
Programming of Future Generation Computers
, pp. 441-456
-
-
Ueda, K.1
-
75
-
-
0345826209
-
Termination analysis for abductive general logic programs
-
De Schreye, D. (ed.), The MIT Press
-
Verbaeten, S. (1999) Termination analysis for abductive general logic programs. In: De Schreye, D. (ed.), Proc. of the International Conference on Logic Programming, pp. 365-379. The MIT Press.
-
(1999)
Proc. of the International Conference on Logic Programming
, pp. 365-379
-
-
Verbaeten, S.1
-
76
-
-
0034950623
-
Termination of simply-moded well-typed logic programs under a tabled execution mechanism
-
Verbaeten, S. and De Schreye, D. (2001) Termination of simply-moded well-typed logic programs under a tabled execution mechanism. Applicable Algebra in Engineering, Communication and Computing, 12(1/2), 157-196.
-
(2001)
Applicable Algebra in Engineering, Communication and Computing
, vol.12
, Issue.1-2
, pp. 157-196
-
-
Verbaeten, S.1
De Schreye, D.2
-
77
-
-
0345826233
-
Termination proofs for logic programs with tabling
-
Verbaeten, S., Sagonas, K. and De Schreye, D. (2001) Termination proofs for logic programs with tabling. ACM Trans. on Computational Logic, 2(1), 57-92.
-
(2001)
ACM Trans. on Computational Logic
, vol.2
, Issue.1
, pp. 57-92
-
-
Verbaeten, S.1
Sagonas, K.2
De Schreye, D.3
|