1445 search results - page 254 / 289 » Abstract Interpretation of Logic Programs |
109
click to vote
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
115
click to vote
ENTCS
2002
14 years 9 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
106
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
IJIT
2004
14 years 11 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
SAS
2007
Springer
15 years 3 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...