7167 search results - page 894 / 1434 » Answer Set Programming |
157
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
132
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
177
Voted
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
174
Voted
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
148
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...