794 search results - page 68 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
131
Voted
MBEES
2010
15 years 3 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
117
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
TOSEM
2002
15 years 2 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
117
click to vote
JFP
2010
15 years 28 days ago
2010
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
122
click to vote
LCR
2000
Springer
15 years 6 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...