1715 search results - page 35 / 343 » Domain-Specific Program Checking |
114
click to vote
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
115
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
106
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
118
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
150
click to vote
TGC
2010
Springer
15 years 39 min 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 ...