661 search results - page 25 / 133 » What Can We Expect from Program Verification |
FORTE
2010
13 years 10 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
AI
2007
Springer
13 years 8 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
ESAW
2004
Springer
14 years 2 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...