Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22907
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Drossopoulou, Sophia | |
dc.contributor.author | Francalanza, Adrian | |
dc.contributor.author | Muller, Peter | |
dc.contributor.author | Summers, Alexander J. | |
dc.date.accessioned | 2017-10-23T12:11:28Z | |
dc.date.available | 2017-10-23T12:11:28Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | Drossopoulou, S., Francalanza, A., Müller, P., & Summers, A. J. (2008). A unified framework for verification techniques for object invariants. 22nd European Conference on Object-Oriented Programming, Paphos. 412-437. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/22907 | |
dc.description.abstract | Object invariants define the consistency of objects. They have subtle semantics, mainly because of call-backs, multi-object invariants, and subclassing. Several verification techniques for object invariants have been proposed. It is difficult to compare these techniques, and to ascertain their soundness, because of their differences in restrictions on programs and invariants, in the use of advanced type systems (e.g., ownership types), in the meaning of invariants, and in proof obligations. We develop a unified framework for such techniques. We distil seven parameters that characterise a verification technique, and identify sufficient conditions on these parameters which guarantee soundness. We instantiate our framework with three verification techniques from the literature, and use it to assess soundness and compare expressiveness. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer-Verlag Berlin Heidelberg | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Object-oriented methods (Computer science) | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Computer software -- Quality control | en_GB |
dc.title | A unified framework for verification techniques for object invariants | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | 22nd European Conference on Object-Oriented Programming | en_GB |
dc.bibliographicCitation.conferenceplace | Paphos, Cyprus, 7-11/07/2008 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-540-70592-5_18 | |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A_Unified_Framework_for_Verification_Techniques_fo.pdf | 367.17 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.