Conference Paper/Proceeding/Abstract 794 views 64 downloads
No-Test Classes in C through Restricted Types
Proceedings of 14th International Workshop on Automated Verification of Critical Systems
Swansea University Author: Tom Crick
-
PDF | Accepted Manuscript
Download (125.93KB)
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...
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 |