1932 search results - page 260 / 387 » Molecule-oriented programming in Java |
218
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
183
Voted
POPL
2004
ACM
16 years 29 days 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...
89
Voted
COMPSAC
2009
IEEE
15 years 7 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...
112
Voted
TOOLS
2009
IEEE
15 years 7 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...
93
Voted
CAV
2007
Springer
15 years 6 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...