Searching semantically equivalent code fragments in logic programs

Lecture Notes in Computer Science

Volumn 3573, Issue , 2005, Pages 1-18

  Vanhoof, Wim ^a  

^a UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FUNCTIONS; SEMANTICS;

CODE FRAGMENTS; PROGRAM FRAGMENTS;

LOGIC PROGRAMMING;

EID: 26444434719     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506676_1     Document Type: Conference Paper

References (19)

1. K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics, pages 493-574. Elsevier Science Publishers B.V., 1990.
2. A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli. The S-semantics approach: Theory and applications. Journal of Logic Programming, 19/20:149-197, 1994.
3. Maurice Bruynooghe, Michael Leuschel, and Kostis Sagonas. A polyvariant binding-time analysis for off-line partial deduction. In Chris Hankin, editor, Proceedings of the European Symposium on Programming (ESOP'98), volume 1381 of Lecture Notes in Computer Science, pages 27-41. Springer-Verlag, 1998.
4. M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative modeling of the operational behaviour of logic programs. Theoretical Computer Science, 69:289-318, 1989.
5. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. Objet Technology Series. Addison-Wesley, 1999.
6. W. G. Griswold and D. Notkin. Program restructuring as an aid to software maintenance. Technical report, Seattle, WA, USA, August 1990.
7. Susan Horwitz. Identifying the semantic and textual differences between two versions of a program. ACM SIGPLAN Notices, 25(6):234-245, 1990.
8. H. Li, C. Reinke, and S. Thompson. Tool support for refactoring functional programs. In J. Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop. Association for Computing Machinery, 2003.
9. J. W. Lloyd. Foundations of Logic Programming. Springer-Ver lag, 1987.
10. A. Pettorossi and M. Proietti. Transformation of logic programs: Foundations and techniques. Journal of Logic Programming, 19/20:261-320, 1994.
11. Don Roberts, John Brant, and Ralph E. Johnson. A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS), 3(4):253-263, 1997.
12. Joachim Schimpf. Logical loops. In International Conference on Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 224-??, 2002.
13. S. Schleimer, D.S. Wilkerson, and A. Aiken. Winnowing: local algorithms for document fingerprinting. In Proceedings of the 2003 ACM SIGMOD international conference on Management of Data, San Diego, CA, 2003.
14. T. Schrijvers, A. Serebrenik, and B. Demoen. Refactoring logic programs. Technical Report CW 373, Department of Computer Science, K.U.Leuven, 2003.
15. D. H. D. Warren. Higher-Order Extensions to Prolog: Are They Needed? volume Machine Intelligence 10, pages 441-454. Ellis Horwood, Chichester, England, 1982.
16. J. Winstead and D. Evans. Towards differential program analysis. 2002.
17. Wuu Yang. Identifying syntactic differences between two programs. Software Practice and Experience, 21(7):739-755, 1991.
18. Wuu Yang, Susan Horwitz, and Thomas Reps. Detecting program components with equivalent behaviors. Technical Report CS-TR-1989-840, University of Wisconsin, Madison, 1989.
19. J. Zhao, J. Cheng, and K. Ushijima. Program dependence analysis of concurrent logic programs and its applications. In 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), Tokyo,Japan, 1996.