5506 search results - page 758 / 1102 » Minimal Logic Programs |
167
click to vote
CC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
169
click to vote
ECOOP
2007
Springer
16 years 26 days ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
166
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
173
click to vote
WEA
2005
Springer
16 years 5 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
164
click to vote
APLAS
2004
ACM
16 years 3 days ago
2004
ACM
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...