5343 search results - page 316 / 1069 » Keyword programming in java |
211
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
116
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
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...
138
Voted
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
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...
115
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
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...
115
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
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...