Sciweavers

618 search results - page 59 / 124
» A Practical Program Transformation System for Reverse Engine...
Sort
View
113
Voted
VMCAI
2007
Springer
15 years 9 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
ECOOPWEXCEPTION
2000
Springer
15 years 7 months ago
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
Tatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yon...
IWPSE
2005
IEEE
15 years 9 months ago
The LAN-simulation: A Refactoring Teaching Example
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...
Serge Demeyer, Filip Van Rysselberghe, Tudor G&ici...
ATAL
2006
Springer
15 years 7 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
141
Voted
ECLIPSE
2006
ACM
15 years 9 months ago
HAM: cross-cutting concerns in Eclipse
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
Silvia Breu, Thomas Zimmermann, Christian Lindig