Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/12667
Título: | Contract-based slicing |
Autor(es): | Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
Palavras-chave: | Slicing Design-by-contract Specification-based slicing |
Data: | 2010 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/12667 |
ISBN: | 978-3-642-16557-3 |
DOI: | 10.1007/978-3-642-16558-0_11 |
ISSN: | 0302-9743 |
Versão da editora: | http://www.springerlink.com |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ISoLA2010contractslicingvf.pdf | Documento principal | 277,59 kB | Adobe PDF | Ver/Abrir |