Sciweavers

1937 search results - page 16 / 388
» Adaptation-based programming in java
Sort
View
PPPJ
2003
ACM
14 years 1 months ago
Towards the systematic use of interfaces in JAVA programming
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
Friedrich Steimann, Wolf Siberski, Thomas Küh...
ECOOP
2011
Springer
12 years 7 months ago
An Empirical Study of Object Protocols in the Wild
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
Nels E. Beckman, Duri Kim, Jonathan Aldrich
TOPLAS
2010
115views more  TOPLAS 2010»
13 years 6 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
ERSHOV
2009
Springer
13 years 11 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
CAV
2012
Springer
236views Hardware» more  CAV 2012»
11 years 10 months ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang