No Cover Image

Conference Paper/Proceeding/Abstract 136 views 63 downloads

Fundamental Constructs in Programming Languages

Peter Mosses Orcid Logo

ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation, Pages: 296 - 321

Swansea University Author: Peter Mosses Orcid Logo

Published in: ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation
ISBN: 978-3-030-89158-9 978-3-030-89159-6
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa58598
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2021-11-15T16:52:33Z
last_indexed 2021-11-23T04:24:08Z
id cronfa58598
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2021-11-22T15:14:46.3032782</datestamp><bib-version>v2</bib-version><id>58598</id><entry>2021-11-10</entry><title>Fundamental Constructs in Programming Languages</title><swanseaauthors><author><sid>3f13b8ec315845c81d371f41e772399c</sid><ORCID>0000-0002-5826-7520</ORCID><firstname>Peter</firstname><surname>Mosses</surname><name>Peter Mosses</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-11-10</date><deptcode>FGSEN</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation</journal><volume/><journalNumber/><paginationStart>296</paginationStart><paginationEnd>321</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>978-3-030-89158-9</isbnPrint><isbnElectronic>978-3-030-89159-6</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>Funcons; Programming constructs; Formal specification</keywords><publishedDay>12</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-10-12</publishedDate><doi>10.1007/978-3-030-89159-6_19</doi><url/><notes/><college>COLLEGE NANME</college><department>Science and Engineering - Faculty</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>FGSEN</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2021-11-22T15:14:46.3032782</lastEdited><Created>2021-11-10T11:06:29.4166811</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Peter</firstname><surname>Mosses</surname><orcid>0000-0002-5826-7520</orcid><order>1</order></author></authors><documents><document><filename>58598__21548__6a4a461690a04afda43900da9ba1a3ce.pdf</filename><originalFilename>58598.pdf</originalFilename><uploaded>2021-11-16T12:06:31.4132390</uploaded><type>Output</type><contentLength>388479</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2021-11-22T15:14:46.3032782 v2 58598 2021-11-10 Fundamental Constructs in Programming Languages 3f13b8ec315845c81d371f41e772399c 0000-0002-5826-7520 Peter Mosses Peter Mosses true false 2021-11-10 FGSEN Conference Paper/Proceeding/Abstract ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation 296 321 Springer International Publishing Cham 978-3-030-89158-9 978-3-030-89159-6 0302-9743 1611-3349 Funcons; Programming constructs; Formal specification 12 10 2021 2021-10-12 10.1007/978-3-030-89159-6_19 COLLEGE NANME Science and Engineering - Faculty COLLEGE CODE FGSEN Swansea University 2021-11-22T15:14:46.3032782 2021-11-10T11:06:29.4166811 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Peter Mosses 0000-0002-5826-7520 1 58598__21548__6a4a461690a04afda43900da9ba1a3ce.pdf 58598.pdf 2021-11-16T12:06:31.4132390 Output 388479 application/pdf Accepted Manuscript true true eng
title Fundamental Constructs in Programming Languages
spellingShingle Fundamental Constructs in Programming Languages
Peter Mosses
title_short Fundamental Constructs in Programming Languages
title_full Fundamental Constructs in Programming Languages
title_fullStr Fundamental Constructs in Programming Languages
title_full_unstemmed Fundamental Constructs in Programming Languages
title_sort Fundamental Constructs in Programming Languages
author_id_str_mv 3f13b8ec315845c81d371f41e772399c
author_id_fullname_str_mv 3f13b8ec315845c81d371f41e772399c_***_Peter Mosses
author Peter Mosses
author2 Peter Mosses
format Conference Paper/Proceeding/Abstract
container_title ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation
container_start_page 296
publishDate 2021
institution Swansea University
isbn 978-3-030-89158-9
978-3-030-89159-6
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-030-89159-6_19
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2021-10-12T04:12:42Z
_version_ 1756509883572682752
score 10.927179