561 search results - page 88 / 113 » Alias Analysis of Executable Code |
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
Smart Messages (SMs) are dynamic collections of code and data that migrate to nodes of interest in the network and execute on these nodes. A key challenge in programming pervasive...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...