No Cover Image

Conference contribution 21 views 2 downloads

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!
first_indexed 2018-09-12T12:59:42Z
last_indexed 2018-10-15T19:18:02Z
id cronfa43775
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-10-15T14:50:59Z</datestamp><bib-version>v2</bib-version><id>43775</id><entry>2018-09-12</entry><title>No-Test Classes in C through Restricted Types</title><alternativeTitle></alternativeTitle><author>Tom Crick</author><firstname>Tom</firstname><surname>Crick</surname><active>true</active><ORCID>0000-0001-5196-9389</ORCID><ethesisStudent>false</ethesisStudent><sid>200c66ef0fc55391f736f6e926fb4b99</sid><email>9971fd6d74987b78a0d7fce128f8c721</email><emailaddr>z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs=</emailaddr><date>2018-09-12</date><deptcode>EDUC</deptcode><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.</abstract><type>Conference contribution</type><journal>Proceedings of 14th International Workshop on Automated Verification of Critical Systems</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>University of Twente</publisher><placeOfPublication>Enschede, Netherlands</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic>0929-0672</issnElectronic><keywords>Verification, restricted types, compilers, plug-ins</keywords><publishedDay>24</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-09-24</publishedDate><doi></doi><url></url><notes>14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)</notes><college>College of Arts and Humanities</college><department>School of Education</department><CollegeCode>CAAH</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2018-10-15T14:50:59Z</lastEdited><Created>2018-09-12T06:15:13Z</Created><path><level id="1">College of Arts and Humanities</level><level id="2">College of Arts and Humanities</level></path><authors><author><firstname>Dave</firstname><surname>Donaghy</surname><orcid/><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author></authors><documents><document><filename>0043775-12092018061631.pdf</filename><originalFilename>restricted-types-submission30.pdf</originalFilename><uploaded>2018-09-12T06:16:31Z</uploaded><type>Output</type><contentLength>94611</contentLength><contentType>application/pdf</contentType><version>AM</version><cronfaStatus>true</cronfaStatus><action>Updated Copyright</action><actionDate>15/10/2018</actionDate><embargoDate>2018-09-12T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2018-10-15T14:50:59Z v2 43775 2018-09-12 No-Test Classes in C through Restricted Types Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 2018-09-12 EDUC 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. Conference contribution Proceedings of 14th International Workshop on Automated Verification of Critical Systems University of Twente Enschede, Netherlands 0929-0672 Verification, restricted types, compilers, plug-ins 24 9 2014 2014-09-24 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14) College of Arts and Humanities School of Education CAAH EDUC None None 2018-10-15T14:50:59Z 2018-09-12T06:15:13Z College of Arts and Humanities College of Arts and Humanities Dave Donaghy 1 Tom Crick 0000-0001-5196-9389 2 0043775-12092018061631.pdf restricted-types-submission30.pdf 2018-09-12T06:16:31Z Output 94611 application/pdf AM true Updated Copyright 15/10/2018 2018-09-12T00:00:00 true eng
title No-Test Classes in C through Restricted Types
spellingShingle No-Test Classes in C through Restricted Types
Crick, Tom
title_short No-Test Classes in C through Restricted Types
title_full No-Test Classes in C through Restricted Types
title_fullStr No-Test Classes in C through Restricted Types
title_full_unstemmed No-Test Classes in C through Restricted Types
title_sort No-Test Classes in C through Restricted Types
author_id_str_mv 200c66ef0fc55391f736f6e926fb4b99
author_id_fullname_str_mv 200c66ef0fc55391f736f6e926fb4b99_***_Crick, Tom
author Crick, Tom
author2 Dave Donaghy
Tom Crick
format Conference contribution
container_title Proceedings of 14th International Workshop on Automated Verification of Critical Systems
publishDate 2014
institution Swansea University
issn 0929-0672
publisher University of Twente
college_str College of Arts and Humanities
hierarchytype
hierarchy_top_id collegeofartsandhumanities
hierarchy_top_title College of Arts and Humanities
hierarchy_parent_id collegeofartsandhumanities
hierarchy_parent_title College of Arts and Humanities
department_str College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities
document_store_str 1
active_str 1
description 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.
published_date 2014-09-24T12:13:08Z
_version_ 1634049236618182656
score 11.318357