7430 search results - page 286 / 1486 » Programming Applications in CIFF |
239
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
128
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
117
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
119
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de�...
155
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...