SCOPUS 정보 검색 플랫폼

Applicable Algebra in Engineering, Communications and Computing

Volumn 12, Issue 1-2, 2001, Pages 117-156

A general framework for automatic termination analysis of logic programs

(4) Dershowitz, Nachum a Lindenstrauss, Naomi b Sagiv, Yehoshua b Serebrenik, Alexander c

a TEL AVIV UNIVERSITY (Israel)

b HEBREW UNIVERSITY OF JERUSALEM (Israel)

c UNIVERSITY OF LEUVEN (Belgium)

Author keywords

Abstract interpretation; Constraints; Termination of logic programs

Indexed keywords

AUTOMATIC PROGRAMMING; DIGITAL ARITHMETIC; INTEGER PROGRAMMING; PROGRAM INTERPRETERS; SET THEORY; TREES (MATHEMATICS);

TERMILOG SYSTEM;

LOGIC PROGRAMMING;

EID: 0034952407 PISSN: 09381279 EISSN: None Source Type: Journal
DOI: 10.1007/s002000100065 Document Type: Article

Times cited : (49)

References (38)

1
- 0001975827
- Logic programming
- Van Leeuwen, J. (ed.), Formal Models and Semantics, chapter 15, pp. Cambridge, MA: MIT Press
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 493-574
- Apt, K.R.¹

2
- 0003400084
- From Logic Programming to Prolog
- Englewood Cliffs, NJ: Prentice Hall
- (1997) Prentice-Hall International Series in Computer Science
- Apt, K.R.¹

3
- 84949471838
- Inferring argument size relationships with CLP(R)
- Gallagher, J. (ed.) Lecture Notes in Computer Science, Berlin Heidelberg New York: Springer
- (1996) Logic Program Synthesis and Transformation. Proceedings , vol.1207 , pp. 204-223
- Benoy, F.¹ King, A.²

4
- 85026855378
- Preserving universal temination through unfold/fold
- Levi, G., Rodríguez-Artalejo, M. (eds.) Lecture Notes in Computer Science, Berlin Heidelberg New York: Springer
- (1994) Algebraic and Logic Programming , vol.850 , pp. 269-286
- Bossi, A.¹ Cocco, N.²

5
- 0031539255
- Directional types and the annotation method
- (1997) J. Log. Program , vol.33 , Issue.3 , pp. 179-220
- Boye, J.¹ Maluszyński, J.²

6
- 0002922310
- Inference of inequality constraints in logic programs
- (1991) Proceedings of the Tenth ACM SIGACT-SIGART-SIGMOD Symposium on Principles of Database Systems , pp. 227-240
- Brodsky, A.¹ Sagiv, Y.²

7
- 0004697040
- Effectiveness of global analysis in strict independence-based automatic parallelization
- Bruynooghe, M. (ed.) Cambridge, MA: MIT Press
- (1994) Logic Programming, Proceedings of the 1994 International Symposium , pp. 320-336
- Bueno, E.¹ García de la Banda, M.J.² Hermenegildo, M.V.³

8
- 0001889173
- Type dependencies for logic programs using ACI-unification
- IEEE Press, June
- (1996) Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems , pp. 136-145
- Codish, M.¹ Lagoon, V.²

9
- 0032678119
- A semantic basis for termination analysis of logic programs
- (1999) J. Log. Program. , vol.41 , Issue.1 , pp. 103-123
- Codish, M.¹ Taboch, C.²

10
- 0000911801
- Abstract interpretation and application to logic programs
- (1992) J. Log. Program. , vol.13 , pp. 103-180
- Cousot, P.¹ Cousot, R.²

11
- 0028429645
- Termination of logic programs: The never-ending story
- (1994) J. Log. Program , vol.19-20 , pp. 199-260
- De Schreye, D.¹ Decorte, S.²

12
- 0013230743
- A simple code improvement scheme for prolog
- (1992) J. Log. Program , vol.13 , pp. 103-180
- Debray, S.K.¹

13
- 0002825410
- Automatic inference of norms: A missing link in automatic termination analysis
- Miller, D. (ed.)
- (1993) Proceedings of the 1993 International Logic Programming Symposium , pp. 420-436
- Decorte, S.¹ De Schreye, D.² Fabris, M.³

14
- 0001138255
- Orderings for term-rewriting systems
- (1982) Theor. Comput. Sci. , vol.17 , Issue.3 , pp. 279-301
- Dershowitz, N.¹

15
- 0002780749
- Assigning meanings to programs
- Schwartz, J. (ed.) Mathematical Aspects of Computer Science, American Mathematical Society, v. 19
- (1967) Proceedings of Symposia in Applied Mathematics , pp. 19-33
- Floyd, R.W.¹

16
- 0031212315
- Termination of nested and mutually recursive algorithms
- (1997) J. Autom. Reasoning , vol.19 , pp. 1-29
- Giesl, J.¹

17
- 0004664227
- Rudiments of Ramsey theory
- American Mathematical Society
- (1980) Number 45 in Regional conference series in mathematics
- Graham, R.L.¹

18
- 0004663212
- Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna
- (1995) OFAI CLP(Q,R)Manual
- Holzbaur, C.¹

19
- 4243532938
- Constraint logic programming
- (1994) A survey. J. Log. Program , vol.19-20 , pp. 503-582
- Jaffar, J.¹ Maher, M.J.²

20
- 0004671788
- Textbook examples of recursion
- Lifschitz, V. (ed.) Papers in Honor of John McCarthy, New York: Academic Press
- (1991) Artificial Intelligence and Mathematical Theory of Computation , pp. 207-229
- Knuth, D.E.¹

21
- 0001858814
- Automatic termination analysis of logic programs
- Naish, L. (ed.), Cambridge, MA: MIT Press
- (1997) Proceedings of the Fourteenth International Conference on Logic Programming , pp. 63-77
- Lindenstrauss, N.¹ Sagiv, Y.²

22
- 84872372180
- TermiLog: A system for checking termination of queries to logic programs
- Grumberg, O. (ed.) Lecture Notes in Computer Science, Berlin Heidelberg New York: Springer
- (1997) Computer Aided Verification, 9th International Conference , vol.1254 , pp. 63-77
- Lindenstrauss, N.¹ Sagiv, Y.² Serebrenik, A.³

23
- 84947927686
- Unfolding mystery of the mergesort
- In: Fuchs, N. (ed.) Lecture Notes in Computer Science, Berlin Heidelberg New York: Springer
- (1998) Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation , vol.1463
- Lindenstrauss, N.¹ Sagiv, Y.² Serebrenik, A.³

24
- 0003453263
- Foundations of Logic Programming
- Berlin Heidelberg New York: Springer
- (1984) Symbolic Computation
- Lloyd, J.W.¹

25
- 0014650053
- Properties of Programs and partial function logic
- (1970) Mach. Intell. , vol.5 , pp. 27-37
- Manna, Z.¹ McCarthy, J.²

26
- 0004667426
- CLP(Q) for proving interargument relations
- Petrossi, A. (ed.) pp. 309-320. Berlin Heidelberg New York: Springer
- (1992) Proceedings META'92
- Mesnard, F.¹ Ganascia, J.²

27
- 0004670092
- Cambridge, MA: MIT Press
- (1990) The Craft of Prolog
- O'Keefe, R.A.¹

28
- 0003206302
- Termination Proofs for Logic Programs
- Berlin Heidelberg New York: Springer
- (1990) Lecture Notes in Artificial Intelligence , vol.446
- Plümer, L.¹

29
- 0004665696
- A termination test for logic programs
- Cambridge, MA: MIT Press
- (1991) International Logic Programming Symposium
- Sagiv, Y.¹

30
- 0003798132
- The XSB Programmer's Manual. Version 1.3 (β)
- Department of Computer Science, SUNY Stony Brook, U.S.A., September
- (1993)
- Sagonas, K.F.¹ Swift, T.² Warren, D.S.³

31
- 0004704990
- Swedish Institute of Computer Science
- (1998) SICS. User Manual. Version 3.7.1.

32
- 0004278308
- Cambridge, MA: MIT Press
- (1994) The Art of Prolog. second edition
- Sterling, L.¹ Shapiro, E.²

33
- 0002086541
- Unfold/Fold transformation of logic programs
- Tärnlund, S. (ed.) Uppsala University
- (1984) Proceedings of the Second International Logic Programming Conference , pp. 127-138
- Tamaki, H.¹ Sato, T.²

34
- 0023994541
- Efficient tests for top-down termination of logical rules
- (1988) JACM , vol.35 , Issue.2 , pp. 345-373
- Ullman, J.D.¹ Van Gelder, A.²

35
- 0004729192
- Deriving constraints among argument sizes in logic programs
- (1991) Ann. Math. Artificial Intell. , vol.3 , pp. 361-392
- Van Gelder, A.¹

36
- 0026263363
- Deriving termination proofs for logic programs, using abstract procedures
- Furukawa, K. (ed.) Cambridge, MA: MIT Press
- (1991) Logic Programming, Proceedings of the Eigth International Conference , pp. 301-315
- Verschaetse, K.¹ De Schreye, D.²

37
- 0004668777
- Deriving of linear size relations by abstract interpretation
- Bryunooghe, M., Wirsing, M. (eds.), Lecture Notes in Computer Science, Berlin Heidelberg New York: Springer
- (1992) Programming Language Implementation and Logic Programming, 4th International Symposium , vol.631 , pp. 296-310
- Verschaetse, K.¹ De Schreye, D.²

38
- 0028482972
- A methodology for proving termination of logic programs
- (1994) J. Log. Program , vol.21 , pp. 1-30
- Wang, B.¹ Shyamasundar, R.K.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.