458 search results - page 12 / 92 » An Algebraic Approach to Sharing Analysis of Logic Programs |
134
click to vote
PLPV
2011
ACM
14 years 10 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
116
Voted
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
145
Voted
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...