-
2
-
-
0039493852
-
A declarative approach for first-order built-in's in Prolog
-
APT, K. R., MARCHIORI, E. AND PALAMIDESSI, C. 1994. A declarative approach for first-order built-in's in 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
-
3
-
-
0031079312
-
Automatic generation of invariants and intermediate assertions
-
BJØRNER, N., BROWNE, A. AND MANNA, Z. 1997. Automatic generation of invariants and intermediate assertions. Theoretical Computer Science 173, 1 (February), 49-87.
-
(1997)
Theoretical Computer Science
, vol.173
, Issue.1 FEBRUARY
, pp. 49-87
-
-
Bjørner, N.1
Browne, A.2
Manna, Z.3
-
5
-
-
85026855378
-
Preserving universal temination through unfold/fold
-
G. Levi and M. Rodríguez-Artalejo, Eds. Lecture Notes in Computer Science. Springer Verlag
-
BOSSI, A. AND COCCO, N. 1994. Preserving universal temination through unfold/fold. In Algebraic and Logic Programming, G. Levi and M. Rodríguez-Artalejo, Eds. Lecture Notes in Computer Science, vol. 850. Springer Verlag, pp. 269-286.
-
(1994)
Algebraic and Logic Programming
, vol.850
, pp. 269-286
-
-
Bossi, A.1
Cocco, N.2
-
6
-
-
0346041925
-
On modular termination proofs of general logic programs
-
BOSSI, A., COCCO, N., ETALLE, S. AND ROSSI, S. 2002. On modular termination proofs of general logic programs. Theory and Practice of Logic Programming 2, 3, 263-291.
-
(2002)
Theory and Practice of Logic Programming
, vol.2
, Issue.3
, pp. 263-291
-
-
Bossi, A.1
Cocco, N.2
Etalle, S.3
Rossi, S.4
-
7
-
-
85030713574
-
Proving termination of logic programs by exploiting term properties
-
Lecture Notes in Computer Science. Springer Verlag
-
BOSSI, A., COCCO, N. AND FABRIS, M. 1991. Proving Termination of Logic Programs by Exploiting Term Properties. In Proceedings CCPSD-TAPSOFT'91. Lecture Notes in Computer Science, vol. 494. Springer Verlag, pp. 153-180.
-
(1991)
Proceedings CCPSD-TAPSOFT'91
, vol.494
, pp. 153-180
-
-
Bossi, A.1
Cocco, N.2
Fabris, M.3
-
8
-
-
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 (February), 297-328.
-
(1994)
Theoretical Computer Science
, vol.124
, Issue.2 FEBRUARY
, pp. 297-328
-
-
Bossi, A.1
Cocco, N.2
Fabris, M.3
-
10
-
-
84958746416
-
Reuse of results in termination analysis of typed logic programs
-
M. V. Hermenegildo and G. Puebla, Eds. Lecture Notes in Computer Science. Springer Verlag
-
BRUYNOOGHE, M., CODISH, M., GENAIM, S. AND VANHOOF, W. 2002. Reuse of results in termination analysis of typed logic programs. In Static Analysis, 9th International Symposium, M. V. Hermenegildo and G. Puebla, Eds. Lecture Notes in Computer Science, vol. 2477. Springer Verlag, pp. 477-492.
-
(2002)
Static Analysis, 9th International Symposium
, vol.2477
, pp. 477-492
-
-
Bruynooghe, M.1
Codish, M.2
Genaim, S.3
Vanhoof, W.4
-
11
-
-
0004697040
-
Effectiveness of global analysis in strict independence-based automatic parallelization
-
M. Bruynooghe, Ed. MIT Press
-
BUENO, F., GARCÍA DE LA BANDA, M. J. AND HERMENEGILDO, M. V. 1994. Effectiveness of global analysis in strict independence-based automatic parallelization. In Logic Programming, Proceedings of the 1994 International Symposium, M. Bruynooghe, Ed. MIT Press, pp. 320-336.
-
(1994)
Logic Programming, Proceedings of the 1994 International Symposium
, pp. 320-336
-
-
Bueno, F.1
García De La Banda, M.J.2
Hermenegildo, M.V.3
-
13
-
-
0032678119
-
A semantic basis for termination analysis of logic programs
-
CODISH, M. AND TABOCH, C. 1999. A semantic basis for termination analysis of logic programs. Journal of Logic Programming 41, 1, 103-123.
-
(1999)
Journal of Logic Programming
, vol.41
, Issue.1
, pp. 103-123
-
-
Codish, M.1
Taboch, C.2
-
15
-
-
84903179505
-
Synthesis of linear ranking functions
-
T. Margaria and W. Yi, Eds. Lecture Notes in Computer Science. Springer Verlag
-
COLÓN, M. A. AND SIPMA, H. B. 2001. Synthesis of linear ranking functions. In Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, T. Margaria and W. Yi, Eds. Lecture Notes in Computer Science, vol. 2031. Springer Verlag, pp. 67-81.
-
(2001)
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference
, vol.2031
, pp. 67-81
-
-
Colón, M.A.1
Sipma, H.B.2
-
16
-
-
84937566009
-
Practical methods for proving program termination
-
E. Brinksma and K. Guldstrand Larsen, Eds. Lecture Notes in Computer Science. Springer Verlag
-
COLÓN, M. A. AND SIPMA, H. B. 2002. Practical methods for proving program termination. In Computer Aided Verification, 14th International Conference, E. Brinksma and K. Guldstrand Larsen, Eds. Lecture Notes in Computer Science, vol. 2404. Springer Verlag, pp. 442-454.
-
(2002)
Computer Aided Verification, 14th International Conference
, vol.2404
, pp. 442-454
-
-
Colón, M.A.1
Sipma, H.B.2
-
17
-
-
84958045834
-
On termination of constraint logic programs
-
U. Montanari and F. Rossi, Eds. Lecture Notes in Computer Science. Springer Verlag
-
COLUSSI, L., MARCHIORI, E. AND MARCHIORI, M. 1995. On termination of constraint logic programs. In Principles and Practice of Constraint Programming - CP'95,, U. Montanari and F. Rossi, Eds. Lecture Notes in Computer Science, vol. 976. Springer Verlag, pp. 431-448.
-
(1995)
Principles and Practice of Constraint Programming - CP'95
, vol.976
, pp. 431-448
-
-
Colussi, L.1
Marchiori, E.2
Marchiori, M.3
-
18
-
-
0041987184
-
Static determination of dynamic properties of programs
-
Dunod, Paris, France
-
COUSOT, P. AND COUSOT, R. 1976. Static determination of dynamic properties of programs. In Proceedings of the Second International Symposium on Programming. Dunod, Paris, France, pp. 106-130.
-
(1976)
Proceedings of the Second International Symposium on Programming
, pp. 106-130
-
-
Cousot, P.1
Cousot, R.2
-
19
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
ACM Press, New York, NY, Los Angeles, CA
-
COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, Los Angeles, CA, pp. 238-252.
-
(1977)
Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
20
-
-
4444302161
-
A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs
-
D. H. Warren and P. Szeredi, Eds. MIT Press
-
DE SCHREYE, D., VERSCHAETSE, K. AND BRUYNOOGHE, M. 1990. A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs. In Logic Programming, Proceedings of the Seventh International Conference, D. H. Warren and P. Szeredi, Eds. MIT Press, pp. 649-663.
-
(1990)
Logic Programming, Proceedings of the Seventh International Conference
, pp. 649-663
-
-
De Schreye, D.1
Verschaetse, K.2
Bruynooghe, M.3
-
21
-
-
0001653160
-
A framework for analyzing the termination of definite logic programs with respect to call patterns
-
I. Staff, Ed. IOS Press
-
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 Proceedings International Conference on Fifth Generation Computer Systems., I. Staff, Ed. IOS Press, pp. 481-488.
-
(1992)
Proceedings International Conference on Fifth Generation Computer Systems
, pp. 481-488
-
-
De Schreye, D.1
Verschaetse, K.2
Bruynooghe, M.3
-
23
-
-
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 TOPLAS 21, 6 (November), 1137-1195.
-
(1999)
ACM TOPLAS
, vol.21
, Issue.6 NOVEMBER
, pp. 1137-1195
-
-
Decorte, S.1
De Schreye, D.2
Vandecasteele, H.3
-
24
-
-
0034952407
-
A general framework for automatic termination analysis of logic programs
-
DERSHOWITZ, N., LINDENSTRAUSS, N., SAGIV, Y. AND SEREBRENIK, A. 2001. A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing 12, 1-2, 117-156.
-
(2001)
Applicable Algebra in Engineering, Communication and Computing
, vol.12
, Issue.1-2
, pp. 117-156
-
-
Dershowitz, N.1
Lindenstrauss, N.2
Sagiv, Y.3
Serebrenik, A.4
-
25
-
-
0002780749
-
Assigning meanings to programs
-
J. Schwartz, Ed. American Mathematical Society, 19-32. Proceedings of Symposiumsia in Applied Mathematics
-
FLOYD, R. W. 1967. Assigning meanings to programs. In Mathematical Aspects of Computer Science, J. Schwartz, Ed. American Mathematical Society, 19-32. Proceedings of Symposiumsia in Applied Mathematics; v. 19.
-
(1967)
Mathematical Aspects of Computer Science
, vol.19
-
-
Floyd, R.W.1
-
26
-
-
84937430803
-
Inferring termination conditions for logic programs using backwards analysis
-
R. Nieuwenhuis and A. Voronkov, Eds. Lecture Notes in Computer Science. Springer-Verlag
-
GENAIM, S. AND CODISH, M. 2001. Inferring termination conditions for logic programs using backwards analysis. In Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conferencerence, Proceedings, R. Nieuwenhuis and A. Voronkov, Eds. Lecture Notes in Computer Science, vol. 2250. Springer-Verlag, pp. 685-694.
-
(2001)
Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conferencerence, Proceedings
, vol.2250
, pp. 685-694
-
-
Genaim, S.1
Codish, M.2
-
27
-
-
84894629636
-
Combining norms to prove termination
-
A. Cortesi, Ed. Lecture Notes in Computer Science. Springer-Verlag
-
GENAIM, S., CODISH, M., GALLAGHER, J. AND LAGOON, V. 2002. Combining norms to prove termination. In Third International Workshop on Verification, Model Checking and Abstract Interpretation, A. Cortesi, Ed. Lecture Notes in Computer Science, vol. 2294. Springer-Verlag, pp. 126-138.
-
(2002)
Third International Workshop on Verification, Model Checking and Abstract Interpretation
, vol.2294
, pp. 126-138
-
-
Genaim, S.1
Codish, M.2
Gallagher, J.3
Lagoon, V.4
-
29
-
-
0004663212
-
OFAI CLP(Q,R) manual
-
Austrian Research Institute for Artificial Intelligence, Vienna
-
HOLZBAUR, C. 1995. OFAI CLP(Q,R) Manual. Tech. Rep. TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna.
-
(1995)
Tech. Rep.
, vol.TR-95-09
-
-
Holzbaur, C.1
-
32
-
-
36849084543
-
Deriving descriptions of possible values of program variables by means of abstract interpretation
-
JANSSENS, G. AND BRUYNOOGHE, M. 1992. Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming 13, 2&3 (July), 205-258.
-
(1992)
Journal of Logic Programming
, vol.13
, Issue.2-3 JULY
, pp. 205-258
-
-
Janssens, G.1
Bruynooghe, M.2
-
33
-
-
4444337581
-
Abstracting numerical values in CLP(H, N)
-
M. V. Hermenegildo and J. Penjam, Eds. Lecture Notes in Computer Science. Springer-Verlag
-
JANSSENS, G., BRUYNOOGHE, M. AND ENGLEBERT, V. 1994. Abstracting numerical values in CLP(H, N). In Programming Language Implementation and Logic Programming, 6th International Symposiumsium, PLILP'94, M. V. Hermenegildo and J. Penjam, Eds. Lecture Notes in Computer Science, vol. 844. Springer-Verlag, pp. 400-414.
-
(1994)
Programming Language Implementation and Logic Programming, 6th International Symposiumsium, PLILP'94
, vol.844
, pp. 400-414
-
-
Janssens, G.1
Bruynooghe, M.2
Englebert, V.3
-
34
-
-
0016666456
-
A closer look at termination
-
KATZ, S. AND MANNA, Z. 1975. A closer look at termination. Acta Informatica 5, 333-352.
-
(1975)
Acta Informatica
, vol.5
, pp. 333-352
-
-
Katz, S.1
Manna, Z.2
-
36
-
-
84872372180
-
TermiLog: A system for checking termination of queries to logic programs
-
O. Grumberg, Ed. Lecture Notes in Computer Science. Springer-Verlag
-
LINDENSTRAUSS, N., SAGIV, Y. AND SEREBRENIK, A. 1997. TermiLog: A system for checking termination of queries to logic programs. In Computer Aided Verification, 9th International Conference, O. Grumberg, Ed. Lecture Notes in Computer Science, vol. 1254. Springer-Verlag, pp. 444-447.
-
(1997)
Computer Aided Verification, 9th International Conference
, vol.1254
, pp. 444-447
-
-
Lindenstrauss, N.1
Sagiv, Y.2
Serebrenik, A.3
-
37
-
-
84947927686
-
Unfolding the mystery of mergesort
-
N. Fuchs, Ed. Lecture Notes in Computer Science. Springer-Verlag
-
LINDENSTRAUSS, N., SAGIV, Y. AND SEREBRENIK, A. 1998. Unfolding the mystery of mergesort. In Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, N. Fuchs, Ed. Lecture Notes in Computer Science, vol. 1463. Springer-Verlag, pp. 206-225.
-
(1998)
Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation
, vol.1463
, pp. 206-225
-
-
Lindenstrauss, N.1
Sagiv, Y.2
Serebrenik, A.3
-
39
-
-
0040622366
-
Inferring left-terminating classes of queries for constraint logic programs
-
M. Maher, Ed. MIT Press, Cambridge, MA, USA
-
MESNARD, F. 1996. Inferring left-terminating classes of queries for constraint logic programs. In Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, M. Maher, Ed. MIT Press, Cambridge, MA, USA, pp. 7-21.
-
(1996)
Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming
, pp. 7-21
-
-
Mesnard, F.1
-
40
-
-
84890053639
-
Applying static analysis techniques for inferring termination conditions of logic programs
-
P. Cousot, Ed. Lecture Notes in Computer Science. Springer-Verlag
-
MESNARD, F. AND NEUMERKEL, U. 2001. Applying static analysis techniques for inferring termination conditions of logic programs. In Static Analysis, 8th International Symposium, SAS 2001, P. Cousot, Ed. Lecture Notes in Computer Science, vol. 2126. Springer-Verlag, pp. 93-110.
-
(2001)
Static Analysis, 8th International Symposium, SAS 2001
, vol.2126
, pp. 93-110
-
-
Mesnard, F.1
Neumerkel, U.2
-
41
-
-
23044534516
-
Dectecting optimal termination conditions of logic programs
-
P. Cousot, Ed. Lecture Notes in Computer Science. Springer-Verlag
-
MESNARD, F., PAYET, E. AND NEUMERKEL, U. 2002. Dectecting optimal termination conditions of logic programs. In Static Analysis, 8th International Symposium, SAS 2002, P. Cousot, Ed. Lecture Notes in Computer Science, vol. 2477. Springer-Verlag, pp. 509-527.
-
(2002)
Static Analysis, 8th International Symposium, SAS 2002
, vol.2477
, pp. 509-527
-
-
Mesnard, F.1
Payet, E.2
Neumerkel, U.3
-
42
-
-
3042773721
-
On proving left termination of constraint logic programs
-
MESNARD, F. AND RUGGIERI, S. 2003. On proving left termination of constraint logic programs. ACM Transaction on Computational Logic 4, 2, 207-259.
-
(2003)
ACM Transaction on Computational Logic
, vol.4
, Issue.2
, pp. 207-259
-
-
Mesnard, F.1
Ruggieri, S.2
-
45
-
-
0345065463
-
Termination proofs for logic programs based on predicate inequalities
-
MIT Press
-
PLÜMER, L. 1990. Termination proofs for logic programs based on predicate inequalities. In Proceedings of ICLP'90. MIT Press, pp. 634-648.
-
(1990)
Proceedings of ICLP'90
, pp. 634-648
-
-
Plümer, L.1
-
46
-
-
4444268942
-
Automatic termination proofs for Prolog programs operating on nonground terms
-
MIT Press
-
PLÜMER, L. 1991. Automatic termination proofs for Prolog programs operating on nonground terms. In International Logic Programming Symposium. MIT Press.
-
(1991)
International Logic Programming Symposium
-
-
Plümer, L.1
-
48
-
-
84951135057
-
Termination of constraint logic programs
-
P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, Eds. Lecture Notes in Computer Science. Springer-Verlag
-
RUGGIERI, S. 1997. Termination of constraint logic programs. In Automata, Languages and Programming, 24th International Colloquium, ICALP'97, P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, Eds. Lecture Notes in Computer Science, vol. 1256. Springer-Verlag, pp. 838-848.
-
(1997)
Automata, Languages and Programming, 24th International Colloquium, ICALP'97
, vol.1256
, pp. 838-848
-
-
Ruggieri, S.1
-
49
-
-
84879469606
-
Non-transformational termination analysis of logic programs, based on general term-orderings
-
K.-K. Lau, Ed. Lecture Notes in Computer Science. Springer-Verlag
-
SEREBRENIK, A. AND DE SCHREYE, D. 2001. Non-transformational termination analysis of logic programs, based on general term-orderings. In Logic Based Program Synthesis and Transformation 10th International Workshop, Selected Papers, K.-K. Lau, Ed. Lecture Notes in Computer Science, vol. 2042. Springer-Verlag, pp. 69-85.
-
(2001)
Logic Based Program Synthesis and Transformation 10th International Workshop, Selected Papers
, vol.2042
, pp. 69-85
-
-
Serebrenik, A.1
De Schreye, D.2
-
50
-
-
23044533275
-
On termination of logic programs with floating point computations
-
M. V. Hermenegildo and G. Puebla, Eds. Lecture Notes in Computer Science. Springer-Verlag
-
SEREBRENIK, A. AND DE SCHREYE, D. 2002. On termination of logic programs with floating point computations. In 9th International Static Analysis Symposium, M. V. Hermenegildo and G. Puebla, Eds. Lecture Notes in Computer Science, vol. 2477. Springer-Verlag, pp. 151-164.
-
(2002)
9th International Static Analysis Symposium
, vol.2477
, pp. 151-164
-
-
Serebrenik, A.1
De Schreye, D.2
-
51
-
-
0030645650
-
An extended variant of atoms loop check for positive logic programs
-
SHEN, Y.-D. 1997. An extended variant of atoms loop check for positive logic programs. New Generation Computing 15, 2, 187-204.
-
(1997)
New Generation Computing
, vol.15
, Issue.2
, pp. 187-204
-
-
Shen, Y.-D.1
-
52
-
-
0035817897
-
Loop checks for logic programs with functions
-
SHEN, Y.-D., YUAN, L.-Y. AND YOU, J.-H. 2001. Loop checks for logic programs with functions. Theoretical Computer Science 266, 1-2, 441-461.
-
(2001)
Theoretical Computer Science
, vol.266
, Issue.1-2
, pp. 441-461
-
-
Shen, Y.-D.1
Yuan, L.-Y.2
You, J.-H.3
-
53
-
-
4444325841
-
-
Swedish Institute of Computer Science
-
SICS. 2002, SICStus User Manual. Version 3.10.0. Swedish Institute of Computer Science.
-
(2002)
SICStus User Manual. Version 3.10.0
-
-
-
54
-
-
0031199408
-
An abstract approach to some loop detection problems
-
SKORDEV, D. 1997. An abstract approach to some loop detection problems. Fundamenta Informaticae 31, 2, 195-212.
-
(1997)
Fundamenta Informaticae
, vol.31
, Issue.2
, pp. 195-212
-
-
Skordev, D.1
-
57
-
-
0023994541
-
Efficient tests for top-down termination of logical rules
-
ULLMAN, J. D. AND VAN GELDER, A. 1988. Efficient tests for top-down termination of logical rules. Journal of the ACM 35, 2 (April), 345-373.
-
(1988)
Journal of the ACM
, vol.35
, Issue.2 APRIL
, pp. 345-373
-
-
Ullman, J.D.1
Van Gelder, A.2
-
58
-
-
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 Transactions on Computational Logic 2, 1, 57-92.
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, Issue.1
, pp. 57-92
-
-
Verbaeten, S.1
Sagonas, K.2
De Schreye, D.3
-
59
-
-
0026263363
-
Deriving termination proofs for logic programs, using abstract procedures
-
K. Furukawa, Ed. MIT Press
-
VERSCHAETSE, K. AND DE SCHREYE, D. 1991. Deriving termination proofs for logic programs, using abstract procedures. In Logic Programming, Proceedings Eighth International Conference, K. Furukawa, Ed. MIT Press, pp. 301-315.
-
(1991)
Logic Programming, Proceedings Eighth International Conference
, pp. 301-315
-
-
Verschaetse, K.1
De Schreye, D.2
-
60
-
-
0012753387
-
Multiple specialization using minimal-function graph semantics
-
WINSBOROUGH, W. 1992. Multiple specialization using minimal-function graph semantics. Journal of Logic Programming 13, 2/3, 259-290.
-
(1992)
Journal of Logic Programming
, vol.13
, Issue.2-3
, pp. 259-290
-
-
Winsborough, W.1
|