Tom Schrijvers, Alexander Serebrenik  @ NUS Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/p...41197.ps.gz Cached: PS.gz PS PDF Image Update Help From: cs.kuleuven.ac.be/...2004E.shtml (more) Homepages: T.Schrijvers HPSearch (Update Links) |
Rate this article:      (best)Comment on this article |
Abstract: Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. (Update)
Active bibliography (related documents): More All
2.5: Refactoring Prolog Code - Schrijvers, Serebrenik, Demoen (2004) (Correct)
2.3: Refactoring Prolog Programs - Schrijvers, Serebrenik, Demoen (2001) (Correct)
0.2: Learning Scrutable User Models: Inducing Conceptual Descriptions - Müller (2002) (Correct)
Similar documents based on text: More All
0.3: Termination Analysis of Logic Programs - Serebrenik (2003) (Correct)
0.3: Analysing the BKE-security protocol with μCRL - Groote, Mauw, Serebrenik (Correct)
0.2: Termination Analysis of Logic Programs Using.. - Serebrenik, De Schreye (2000) (Correct)
BibTeX entry: (Update)
@inproceedings { schrijvers:refactoring,
AUTHOR = "Schrijvers, Tom and Serebrenik, Alexander",
TITLE = {{I}mproving {P}rolog programs: refactoring for {P}rolog},
BOOKTITLE = {{L}ogic {P}rogramming, 20th {I}nternational {C}onference, {ICLP} 2004, {P}roceedings},
YEAR = {2004},
EDITORS = {Demoen, B. and Lifschitz, V.},
VOLUME = {3132},
SERIES = {Lecture Notes in Computer Science},
PAGES = {58-72},
PUBLISHER = {Springer Verlag},
NOTE = {URL = http://www.cs.kuleuven.ac.be/cgi-bin-dtai/publ\_info.pl?id=41197},
url = {citeseer.comp.nus.edu.sg/675374.html} }
Citations (may not include all citations):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
79 Logic Programming: Systematic program development (context) - Deville - 1990
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.
26 The Craft of Prolog (context) - O'Keefe - 1994
23 Redundant argument filtering of logic programs - Leuschel, Srensen - 1996
14 SICStus Prolog User's Manual - Laboratory - 2003
6 ACM Transactions on Programming Languages and Systems (context) - Etalle, Gabbrielli et al. - 2001
6 MasterProLog Programming Environment (context) - Masters - 2000
5 Tool support for refactoring functional programs (context) - Li, Reinke et al. - 2003
5 Identifying refactoring opportunities using logic meta progr.. - Tourw, Mens - 2003
4 The learning shell : Automated macro construction - Jacobs, Blockeel - 2001
4 Fluents: A refactoring of Prolog for uniform reflection an i.. (context) - Tarau - 2000
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 Prolog programs - Schrijvers, Serebrenik et al. - 2003
2 Association for Logic Programming Newsletter (context) - operator - 1991
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2004-E.shtml): More
Refactoring Prolog Code - Schrijvers, Serebrenik, Demoen (2004) (Correct)
Efficient Theta-subsumption of Sets of Patterns - Ramon, Struyf (Correct)
A Logic of Non-Monotone Inductive Definitions and its.. - Denecker, Ternovska (2004) (Correct)
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.