<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Jorge Sousa Pinto</style></author><author><style face="normal" font="default" size="100%">Pedro Rangel Henriques</style></author><author><style face="normal" font="default" size="100%">Daniela Cruz</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Contract - based slicing</style></title><secondary-title><style face="normal" font="default" size="100%">4th International Symposium On Leveraging Applications of Formal Methods , Verification and Validation - ISOLA </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jsp/files/isola2010contractslicingvf.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Amirandes, Heraclion, Crete</style></pub-location><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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 veriﬁed components without having to reconstruct proofs of correctness.&lt;br /&gt;
 In this paper we adapt the idea of speciﬁcation-based slicing to the scope of (contract-based) program veriﬁcation systems and behaviour speciﬁcation languages. In this direction, we introduce the notion of contract-based slice of a program and show how any speciﬁcation-based slicing algorithm can be used as the basis for a contract-based slicing algorithm.&lt;/p&gt;
</style></abstract></record></records></xml>