Sciweavers

1937 search results - page 134 / 388
» Adaptation-based programming in java
Sort
View
ECOOP
2001
Springer
14 years 2 months ago
An Overview of AspectJ
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik K...
APLAS
2008
ACM
13 years 11 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
VL
2005
IEEE
104views Visual Languages» more  VL 2005»
14 years 3 months ago
Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
Brian A. Malloy, James F. Power
PADL
2000
Springer
14 years 1 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
POPL
2007
ACM
14 years 10 months ago
Conditional must not aliasing for static race detection
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
Mayur Naik, Alex Aiken