68 search results - page 1 / 14 » Specifying generic Java programs: two case studies |
LDTA
2010
15 years 16 days ago
2010
100
Voted
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
117
Voted
SEFM
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
JUCS
2008
15 years 9 days ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
186
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...