Sciweavers

1937 search results - page 263 / 388
» Adaptation-based programming in java
Sort
View
COMPSAC
2009
IEEE
15 years 9 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang
134
Voted
TOOLS
2009
IEEE
15 years 9 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
112
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 8 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
135
Voted
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
15 years 8 months ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina
109
Voted
CC
2003
Springer
126views System Software» more  CC 2003»
15 years 7 months ago
Rapid and Robust Compiler Construction Using Template-Based Metacompilation
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
Kees van Reeuwijk