1356 search results - page 138 / 272 » A variable-free dynamic semantics |
130
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
155
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
140
click to vote
ICCD
2003
IEEE
16 years 25 days ago
2003
IEEE
There is a growing interest in the use of speculative multithreading to speed up the execution of a program. In speculative multithreading model, threads are extracted from a sequ...
148
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
123
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...