Contract-based slicing

Detalhes bibliográficos
Autor(a) principal: Cruz, Daniela da
Data de Publicação: 2010
Outros Autores: Henriques, Pedro Rangel, Pinto, Jorge Sousa
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/1822/12667
Resumo: 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.
id RCAP_a83c46302a1ebaf33b8dcf1dd78c0d33
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/12667
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Contract-based slicingSlicingDesign-by-contractSpecification-based slicingScience & TechnologyIn 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.Fundação para a Ciência e a Tecnologia (FCT) - RESCUE (PTDC / EIA / 65862 / 2006), CROSS (PTDC / EIACCO/ 108995 / 2008).SpringerUniversidade do MinhoCruz, Daniela daHenriques, Pedro RangelPinto, Jorge Sousa20102010-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/12667eng978-3-642-16557-30302-974310.1007/978-3-642-16558-0_11http://www.springerlink.cominfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T07:01:02Zoai:repositorium.sdum.uminho.pt:1822/12667Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T16:12:28.254438Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Contract-based slicing
title Contract-based slicing
spellingShingle Contract-based slicing
Cruz, Daniela da
Slicing
Design-by-contract
Specification-based slicing
Science & Technology
title_short Contract-based slicing
title_full Contract-based slicing
title_fullStr Contract-based slicing
title_full_unstemmed Contract-based slicing
title_sort Contract-based slicing
author Cruz, Daniela da
author_facet Cruz, Daniela da
Henriques, Pedro Rangel
Pinto, Jorge Sousa
author_role author
author2 Henriques, Pedro Rangel
Pinto, Jorge Sousa
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Cruz, Daniela da
Henriques, Pedro Rangel
Pinto, Jorge Sousa
dc.subject.por.fl_str_mv Slicing
Design-by-contract
Specification-based slicing
Science & Technology
topic Slicing
Design-by-contract
Specification-based slicing
Science & Technology
description 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.
publishDate 2010
dc.date.none.fl_str_mv 2010
2010-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/12667
url http://hdl.handle.net/1822/12667
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 978-3-642-16557-3
0302-9743
10.1007/978-3-642-16558-0_11
http://www.springerlink.com
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595804344909824

Registros relacionados