3515 search results - page 686 / 703 » On the semantics of Strategy Logic |
220
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
172
click to vote
PLDI
2010
ACM
15 years 12 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...
200
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
186
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
208
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...