3256 search results - page 98 / 652 » Mixin-Based Programming in C |
100
Voted
SIGADA
1993
Springer
15 years 7 months ago
1993
Springer
96
Voted
POS
1990
Springer
15 years 7 months ago
1990
Springer
127
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
136
Voted
JFP
2002
15 years 3 months ago
2002
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
127
Voted
ORL
1998
15 years 3 months ago
1998
Crowder et al. (Oper. Res. 31 (1983) 803–834) conjectured that the separation problem for cover inequalities for binary integer programs is polynomially solvable. We show that t...