The Univerisity of British Columbia (2008)
Rajeswari Rajagopalan, Kris De Volder
Many development tasks are not local to a single modular component of a system but involve changes across many different modules. To carry out such a task a developer needs to understand many...
ABSTRACT Questions Programmers Ask During Software Evolution Tasks (2008)
Jonathan Sillito, Gail C. Murphy, Kris De Volder
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is known about the...
ABSTRACT CodeQuest: Querying Source Code with DataLog (2008)
Elnar Hajiyev, Mathieu Verbaere, Oege De Moor, Kris De Volder
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ranging from 3KSLOC to...
Abstract Debugging with Control-flow Breakpoints (2008)
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is not sufficiently...
[A Demonstration Proposal] (2008)
Andrew Eisenberg, Kris De Volder
JQuery: finding your way through tangled code JQuery is a flexible, query-based source code browser, developed as an Eclipse plug-in. A JQuery user can define his or her own top-level browsers...
Abstract Declarative Meta Programming to Support Software Development: (2007)
This paper reports on the results of the workshop on Declarative
Kim Mens, Kris De Volder, Tom Mens
WWW: progwww.vub.ac.be A Formalisation of Encapsulated Modification of Objects
Explicit Programming: Improving the Design Vocabulary of Your Program [Demonstration] (2007)
Avi Bryant, Andrew Catton, Kris De Volder, Gail C. Murphy
Object-oriented systems are frequently built around idioms, design patterns, and other abstractions that can be captured only indirectly in source code. The loss of design information in code often...
Type Oriented Logic Meta Programming for Java (2007)
This paper presents Type-Oriented Logic Meta Programming. The idea is based on a representation of programs as sets of logic propositions focusing on the type properties of the base-language program....
V Brussel, Kris De Volder, Promotor Prof, Dr. Theo D'hondt
Proefschrift ingediend met het oog op het behalen van de graad van Doktor in de Wetenschappen
Declarative Meta Programming to Support Software Development Workshop Proceedings Tom Mens (2007)
Roel Wuyts, Kris De Volder, Kim Mens
Towards a declarative approach to framework instantiation
Continuation-Passing-Style as an Intermediate Representation for Compiling Scheme (2007)
Techreport Vub-prog-tr, Kris De Volder, Kris De Volder
WWW: progwww.vub.ac.be
Type Oriented Logic Meta Programming for Java (2007)
This paper presents Type-Oriented Logic Meta Programming. The idea is based on a representation of programs as sets of logic propositions focusing on the type properties of the base-language program....
A Formalisation of Encapsulated Modification of Objects (2007)
Techreport Vub-prog-tr, Kim Mens, Kim Mens, Kris De Volder, Kris De Volder, Tom Mens, ...
A Formalisation of
Jquery: A generic code browser with a declarative configuration language (2006)
Abstract. Modern IDEs have an open-ended plugin architecture to allow customizability. However, developing a plugin is costly in terms of effort and expertise required by the customizer. We present a...
Asking and Answering Questions During a Programming Change Task (2006)
Jonathan Sillito, Ieee Computer Society, Gail C. Murphy, Ieee Computer Society, Kris De Volder
Abstract—Little is known about the specific kinds of questions programmers ask when evolving a code base and how well existing tools support those questions. To better support the activity of...
Managing software change tasks: An exploratory study (2005)
Jonathan Sillito, Kris De Volder, Brian Fisher, Gail Murphy
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intended to support...
Tool Support for Working With Large Systems (2004)
Jonathan Sillito, Kris De Volder
For many change tasks on large systems, identifying, understanding and working with the portion of the system directly related to that task can be challenging. This is particularly true when the task...
Use Case Level Pointcuts (2004)
Jonathan Sillito Christopher, Christopher Dutchyn, Andrew David Eisenberg, Kris De Volder
Software developers create a variety of artifacts that model the behaviour of applications at di#erent levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-oriented...
Programming with crosscutting effective views (2004)
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decomposition of a system in...
Aspect-Oriented Logic Meta Programming (1999)
Kris De Volder, Programming Technology Lab
Abstract. We propose to use a logic meta-system as a general framework for aspect-oriented programming. We illustrate our approach with the implementation of a simpli ed version of the cool aspect...
Aspect-Oriented Logic Meta Programming (1999)
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illustration we present a...
Type-Oriented Logic Meta Programming (1998)
Kris De Volder, Promotor Prof, Dr. Theo D'hondt
Proefschrift ingediend met het oog op het behalen van de graad van Doktor in de Wetenschappen
Type Oriented Programming (1997)
Kris De Volder, Wolfgang De Meuter
Introduction It is generally accepted that building, using and maintaining frameworks is very hard. Therefore any tools which might help the framework or application developer at his job are more...
Kim Mens, Kris De Volder, Tom Mens, Patrick Steyaert
Abstract. Current prototype-based languages suffer from an inherent conflict between inheritance and encapsulation. Whereas encapsulation tries to hide implementation details from the user,...
A Layered Calculus for Encapsulated Object Modification - Theoretical Results (1996)
Tom Mens, Kris De Volder, Tom Mens
. In this paper we formally present a layered calculus for encapsulated modification of objects. Its denotational as well as operational semantics are given. The confluency of the calculus is proven,...
A Layered Calculus for Encapsulated Object Modification - Theoretical Results (1996)
Tom Mens, Kris De Volder, Tom Mens
In this paper we formally present a layered calculus for encapsulated modification of objects. Its denotational as well as operational semantics are given. The confluency of the calculus is proven,...