134 search results - page 2 / 27 » Diagnosing type errors with class |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
ESOP
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
MOC
2000
13 years 4 months ago
2000
In this paper we exhibit a finite element method fitting a suitable geometry naturally associated with a class of degenerate elliptic equations (usually called Grushin type equatio...
JMLR
2006
13 years 4 months ago
2006
We study some stability properties of algorithms which minimize (or almost-minimize) empirical error over Donsker classes of functions. We show that, as the number n of samples gr...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...