1379 search results - page 173 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
122
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
157
click to vote
WWW
2005
ACM
15 years 8 months ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
100
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
121
click to vote
PC
2006
15 years 3 months ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
112
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...