469 search results - page 14 / 94 » Language and library support for practical PRAM programming |
ENTCS
2006
14 years 11 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
JAVA
2000
Springer
15 years 3 months ago
2000
Springer
The file I/O classes present in Java have proven too inefficient to meet the demands of high-performance applications that perform large amounts of I/O. The inefficiencies stem pr...
111
click to vote
INAP
2005
Springer
15 years 5 months ago
2005
Springer
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
CC
2007
Springer
15 years 5 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...