794 search results - page 108 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
ACSC
2007
IEEE
14 years 3 months ago
2007
IEEE
Measuring "reuse" and "reusability" is difficult because there are so many different facets to these concepts. Before we can effectively measure reuse and reus...
PADL
2010
Springer
13 years 10 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...