3090 search results - page 489 / 618 » On Testing Answer-Set Programs |
163
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
134
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
110
Voted
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Current trends in desktop processor design have been toward many-core solutions with increased parallelism. As the number of supported threads grows in these processors, it may ...
133
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
116
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...