Tom Schrijvers, Alexander Serebrenik, Bart Demoen  @ NUS Home/Search
Context Related
| cs.kuleuven.ac.be/publicati...CW373.pdf Cached: PDF PS.gz PS Image Update Help From: cs.kuleuven.ac.be/pub...CW373.abs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Refactoring is a technique to restructure code in a disciplined way originating from the OO-community. It aims to improve software readability, maintainability and extensibility. Unlike the existing results on program transformation refactoring can require user input to take certain decisions. In this paper we apply the ideas of refactoring to Prolog programs. We start by presenting a catalogue of refactorings. Then we discuss ViPReSS , our refactoring browser, and our experience with... (Update)
Cited by: More
Improving Prolog Programs: Refactoring for Prolog - Schrijvers, Serebrenik (Correct)
Refactoring Prolog Code - Schrijvers, Serebrenik, Demoen (2004) (Correct)
Active bibliography (related documents): More All
0.5: Refactoring: Current Research and Future Trends - Mens, Demeyer, Bois.. (2003) (Correct)
0.3: Using Temporal Logic To Support The Specification And.. - Johnson, Harrison (1992) (Correct)
0.3: Intelligent Databases: Old Challenges and New Opportunities - Zaniolo (1992) (Correct)
Similar documents based on text: More All
0.4: Inference of termination conditions for numerical loops in.. - Serebrenik, De Schreye (2003) (Correct)
0.4: Non-transformational termination analysis of Logic.. - Serebrenik, De Schreye (2000) (Correct)
0.4: Termination Analysis of Logic Programs Using.. - Serebrenik, De Schreye (2000) (Correct)
Related documents from co-citation: More All
2: Refactorings in alphabetical order (context) - Fowler - 2003
2: The Craft of Prolog (context) - OKeefe - 1990
2: ACM Transactions on Programming Languages and Systems (context) - Etalle, Gabbrielli et al. - 2001
BibTeX entry: (Update)
T. Schrijvers, A. Serebrenik, and B. Demoen. Refactoring Prolog programs. Technical Report CW373, Department of Computerscience, K.U.Leuven, December 2001. http://citeseer.comp.nus.edu.sg/690817.html More
@misc{ schrijvers01refactoring,
author = "T. Schrijvers and A. Serebrenik and B. Demoen",
title = "Refactoring Prolog programs",
text = "T. Schrijvers, A. Serebrenik, and B. Demoen. Refactoring Prolog programs.
Technical Report CW373, Department of Computerscience, K.U.Leuven, December
2001.",
year = "2001",
url = "citeseer.comp.nus.edu.sg/690817.html" }
Citations (may not include all citations):440 The Art of Prolog (context) - Sterling, Shapiro - 1994
245 Refactoring: improving the design of existing code (context) - Fowler, Beck et al. - 1999
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
126 Refactoring object-oriented frameworks - Opdyke - 1992
42 Theory and Practice of ObjectSystems (context) - Roberts, Brant et al. - 1997
29 Mercury: an efficient purely declarative logic programming l.. - Somogyi, Henderson et al. - 1995
26 The Craft of Prolog (context) - O'Keefe - 1994
23 Redundant argument filtering of logic programs - Leuschel, Srensen
21 Practical analysis for refactoring (context) - Roberts - 1999
10 The XSB Programmer's Manual: version - Sagonas, Swift et al. - 2001
9 To the gates of HAL: a HAL tutorial - Garc, Banda et al. - 2002
6 MasterProLog Programming Environment (context) - Masters - 2000
6 ACM Transactions on Programming Languages and Systems (context) - Etalle, Gabbrielli et al. - 2001
5 Composing contracts: an adventure in financial engineering - Jones, Eber et al. - 2000
5 Tool support for refactoring functional programs (context) - Li, Reinke et al. - 2003
4 Removing redundant arguments of functions - Alpuente, Escobar et al. - 2002
4 Towards banishing the cut from Prolog - Debray, Warren - 1990
4 Fluents: A refactoring of Prolog for uniform reflection an i.. (context) - Tarau - 2000
4 The learning shell : Automated macro construction - Jacobs, Blockeel - 2001
3 Cut and paste --- defining the impure primitives of prolog (context) - Moss - 1986
3 Refactorings in alphabetical order (context) - Fowler - 2003
3 Analysing and visualizing Prolog programs based on XML repre.. (context) - Seipel, Hopfner et al. - 2003
2 Refactoring Functional Programs - Thompson, Reinke - 2001
2 Association for Logic Programming Newsletter (context) - operator - 1991
1 A precise type analysis of logic programs (context) - Lu - 2000
1 TATA Institute of Fundamental Research (context) - Serebrenik, Demoen et al. - 2003
1 ALEX: The logic programming language with explicit control a.. (context) - Hoshida, Tokoro - 1989
1 Linux Journal (context) - announces, ninth et al. - 2003
1 Logical loops - Schimpf - 2002
1 A mode analysis of logic programs by abstract interpretation (context) - Lu - 1996
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.