10575 search results - page 1878 / 2115 » Programming Languages |
155
click to vote
SAS
1997
Springer
15 years 10 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
160
click to vote
PPOPP
1995
ACM
15 years 10 months ago
1995
ACM
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...
202
click to vote
DOOD
1991
Springer
15 years 10 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
198
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
166
click to vote
AAAI
2007
15 years 9 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...