No Cover Image

Conference contribution 6 views

No-Test Classes in C through Restricted Types / Dave Donaghy; Tom Crick

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

Swansea University Author: Crick, Tom

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: College of Arts and Humanities