5377 search results - page 715 / 1076 » Programming Languages For Interactive Computing |
135
click to vote
JAVA
2000
Springer
15 years 8 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...
140
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
163
click to vote
ECOOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
135
click to vote
ESOP
2012
Springer
14 years 16 days ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
154
click to vote
ECBS
1999
IEEE
15 years 9 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...