2947 search results - page 94 / 590 » Analyzing Program Analyses |
152
Voted
TGC
2010
Springer
15 years 14 days ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
112
click to vote
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
121
Voted
ESEM
2010
ACM
15 years 3 months ago
2010
ACM
Although there has been significant research into gender regarding educational and workplace practices, there has been little investigation of gender differences pertaining to pro...
107
Voted
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
130
click to vote
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...