No Cover Image

Conference Paper/Proceeding/Abstract 794 views 64 downloads

No-Test Classes in C through Restricted Types

Dave Donaghy, Tom Crick Orcid Logo

Proceedings of 14th International Workshop on Automated Verification of Critical Systems

Swansea University Author: Tom Crick Orcid Logo

Abstract

Object-oriented programming (OOP) languages allow for the creation of rich new types through, for example, the class mechanism found in C++ and Python (among others).These techniques, while certainly rich in the functionality they provide, additionally require users to develop and test new types; wh...

Full description

Published in: Proceedings of 14th International Workshop on Automated Verification of Critical Systems
ISSN: 0929-0672
Published: Enschede, Netherlands University of Twente 2014
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa43775
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: Object-oriented programming (OOP) languages allow for the creation of rich new types through, for example, the class mechanism found in C++ and Python (among others).These techniques, while certainly rich in the functionality they provide, additionally require users to develop and test new types; while resulting software can be elegant and easy to understand (and indeed these were some of the aspirations behind the OOP paradigm), there is a cost associated to the addition of the new code required to implement such new types. Such a cost will typically be at least linear in the number of new types introduced.One potential alternative to the creation of new types through extension is the creation of new types through restriction; in appropriate circumstances, such types can provide the same elegance and ease of understanding, but without a corresponding linear development and maintenance cost.
Item Description: 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)
Keywords: Verification, restricted types, compilers, plug-ins
College: Faculty of Humanities and Social Sciences