Publicação
Contract-based slicing
| 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. |
|---|---|
| Autores principais: | Cruz, Daniela da |
| Outros Autores: | Henriques, Pedro Rangel; Pinto, Jorge Sousa |
| Assunto: | Slicing Design-by-contract Specification-based slicing |
| Ano: | 2010 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1867439495609057280 |
|---|---|
| author | Cruz, Daniela da |
| author2 | Henriques, Pedro Rangel Pinto, Jorge Sousa |
| author2_role | author author |
| author_facet | Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Cruz, Daniela da\"},{\"Person.name\":\"Henriques, Pedro Rangel\"},{\"Person.name\":\"Pinto, Jorge Sousa\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
| datacite.date.Accepted.fl_str_mv | 2010-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2011-07-01T14:32:22Z |
| datacite.date.embargoed.fl_str_mv | 2011-07-01T14:32:22Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Slicing Design-by-contract Specification-based slicing |
| datacite.titles.title.fl_str_mv | Contract-based slicing |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
| dc.date.Accepted.fl_str_mv | 2010-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2011-07-01T14:32:22Z |
| dc.date.embargoed.fl_str_mv | 2011-07-01T14:32:22Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/12667 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | Springer |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Slicing Design-by-contract Specification-based slicing |
| dc.title.fl_str_mv | Contract-based slicing |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| 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. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | conferencePaper |
| fulltext.url.fl_str_mv | https://repositorium.uminho.pt/bitstreams/9359763e-8367-4316-a1e2-1757056ea914/download |
| id | rum_b3d1fd979ceea0b4b8b0bb4d8fc6fbde |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/12667 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/12667 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
| publishDate | 2010 |
| publisher.none.fl_str_mv | Springer |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engSpringerporIn 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.application/pdfporContract-based slicingCruz, Daniela daHenriques, Pedro RangelPinto, Jorge SousaHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptISBNIsPartOf978-3-642-16557-3ISSNIsPartOf0302-9743DOIIsPartOf10.1007/978-3-642-16558-0_112011-07-01T14:32:22Z20102010-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/12667http://purl.org/coar/access_right/c_abf2open accessSlicingDesign-by-contractSpecification-based slicing284248 bytesother research producthttp://purl.org/coar/resource_type/c_5794conference paperhttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://repositorium.uminho.pt/bitstreams/9359763e-8367-4316-a1e2-1757056ea914/download |
| spellingShingle | Contract-based slicing Cruz, Daniela da Slicing Design-by-contract Specification-based slicing |
| status | SINGLETON |
| subject.fl_str_mv | Slicing Design-by-contract Specification-based slicing |
| title | Contract-based slicing |
| title_full | Contract-based slicing |
| title_fullStr | Contract-based slicing |
| title_full_unstemmed | Contract-based slicing |
| title_short | Contract-based slicing |
| title_sort | Contract-based slicing |
| topic | Slicing Design-by-contract Specification-based slicing |
| topic_facet | Slicing Design-by-contract Specification-based slicing |
| url | https://hdl.handle.net/1822/12667 |
| visible | 1 |