No Cover Image

Conference Paper/Proceeding/Abstract 267 views 108 downloads

One Step at a Time

Ferdinand Vesely, Kathleen Fisher

Programming Languages and Systems, Volume: 11423, Pages: 205 - 231

Swansea University Author: Ferdinand Vesely

  • 50092.pdf

    PDF | Version of Record

    Released under the terms of a Creative Commons Attribution 4.0 International License (CC-BY).

    Download (572.82KB)

Check full text

DOI (Published version): 10.1007/978-3-030-17184-1_8

Published in: Programming Languages and Systems
ISBN: 978-3-030-17183-4 978-3-030-17184-1
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2019
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa50092
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-04-26T13:38:01Z
last_indexed 2019-05-17T13:03:32Z
id cronfa50092
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-05-16T11:28:33.8458256</datestamp><bib-version>v2</bib-version><id>50092</id><entry>2019-04-25</entry><title>One Step at a Time</title><swanseaauthors><author><sid>e54f54330e5abba1afddbfcb78ba54c1</sid><firstname>Ferdinand</firstname><surname>Vesely</surname><name>Ferdinand Vesely</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-04-25</date><deptcode>SBI</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Programming Languages and Systems</journal><volume>11423</volume><paginationStart>205</paginationStart><paginationEnd>231</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>978-3-030-17183-4</isbnPrint><isbnElectronic>978-3-030-17184-1</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>Structural operational semantics, Big-step semantics, Small-step semantics, Interpreters, Transformation, Continuation-passing style, Functional programming</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-12-31</publishedDate><doi>10.1007/978-3-030-17184-1_8</doi><url/><notes/><college>COLLEGE NANME</college><department>Biosciences</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SBI</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-05-16T11:28:33.8458256</lastEdited><Created>2019-04-25T14:06:49.5378641</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>Ferdinand</firstname><surname>Vesely</surname><order>1</order></author><author><firstname>Kathleen</firstname><surname>Fisher</surname><order>2</order></author></authors><documents><document><filename>0050092-14052019164112.pdf</filename><originalFilename>50092.pdf</originalFilename><uploaded>2019-05-14T16:41:12.9900000</uploaded><type>Output</type><contentLength>653362</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><embargoDate>2019-05-13T00:00:00.0000000</embargoDate><documentNotes>Released under the terms of a Creative Commons Attribution 4.0 International License (CC-BY).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2019-05-16T11:28:33.8458256 v2 50092 2019-04-25 One Step at a Time e54f54330e5abba1afddbfcb78ba54c1 Ferdinand Vesely Ferdinand Vesely true false 2019-04-25 SBI Conference Paper/Proceeding/Abstract Programming Languages and Systems 11423 205 231 Springer International Publishing Cham 978-3-030-17183-4 978-3-030-17184-1 0302-9743 1611-3349 Structural operational semantics, Big-step semantics, Small-step semantics, Interpreters, Transformation, Continuation-passing style, Functional programming 31 12 2019 2019-12-31 10.1007/978-3-030-17184-1_8 COLLEGE NANME Biosciences COLLEGE CODE SBI Swansea University 2019-05-16T11:28:33.8458256 2019-04-25T14:06:49.5378641 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ferdinand Vesely 1 Kathleen Fisher 2 0050092-14052019164112.pdf 50092.pdf 2019-05-14T16:41:12.9900000 Output 653362 application/pdf Version of Record true 2019-05-13T00:00:00.0000000 Released under the terms of a Creative Commons Attribution 4.0 International License (CC-BY). true eng
title One Step at a Time
spellingShingle One Step at a Time
Ferdinand Vesely
title_short One Step at a Time
title_full One Step at a Time
title_fullStr One Step at a Time
title_full_unstemmed One Step at a Time
title_sort One Step at a Time
author_id_str_mv e54f54330e5abba1afddbfcb78ba54c1
author_id_fullname_str_mv e54f54330e5abba1afddbfcb78ba54c1_***_Ferdinand Vesely
author Ferdinand Vesely
author2 Ferdinand Vesely
Kathleen Fisher
format Conference Paper/Proceeding/Abstract
container_title Programming Languages and Systems
container_volume 11423
container_start_page 205
publishDate 2019
institution Swansea University
isbn 978-3-030-17183-4
978-3-030-17184-1
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-030-17184-1_8
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 2019-12-31T04:01:24Z
_version_ 1763753155342893056
score 11.037056

Similar Items