Document Actions
Contract-Based Slicing
2010-107
In the last years, the concern with the correctness of programs has been leading programmers to enrich their programs with annotations following the principles of design-by-contract, in order to be able to guarantee their correct behaviour and to facilitate reuse of verified components without having to reconstruct proofs of correctness. In this paper we adapt the idea of specification-based slicing to the scope of (contract-based) program verification systems and behaviour specification languages. In this direction, we introduce the notion of contract-based slice of a program and show how any specification-based slicing algorithm can be used as the basis for a contract-based slicing algorithm.
@inproceedings{PintoJS:conbs,
author = {Daniela Carneiro da Cruz and
Pedro Rangel Henriques and
Jorge Sousa Pinto},
title = {{Contract-Based Slicing}},
booktitle = {ISoLA (1)},
year = {2010},
pages = {106-120},
ee = {http://dx.doi.org/10.1007/978-3-642-16558-0_11},
crossref = {DBLP:conf/isola/2010-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/isola/2010-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification,
and Validation - 4th International Symposium on Leveraging
Applications, ISoLA 2010, Heraklion, Crete, Greece, October
18-21, 2010, Proceedings, Part I},
booktitle = {ISoLA (1)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6415},
year = {2010},
isbn = {978-3-642-16557-3},
ee = {http://dx.doi.org/10.1007/978-3-642-16558-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
http://dx.doi.org/DOI: 10.1007/978-3-642-16558-0_1
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Contract-Based Slicing. ISoLA (1) 2010: 106-120
Springer-Verlag
In Proceedings
Scopus, ISI Proceedings, DBLP
Theory and Formal Methods, Language and Document Processing
Jorge Sousa Pinto
Pedro Rangel Henriques