No Cover Image

Conference Paper/Proceeding/Abstract 293 views

Towards Small-step Compilation Schemas for SOS

Ferdinand Vesely

Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015, Pages: 121 - 123

Swansea University Author: Ferdinand Vesely

Full text not available from this repository: check for access using links below.

Published in: Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015
ISSN: 1670-5777
Published: 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa49760
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-03-27T11:22:13Z
last_indexed 2020-10-16T03:01:49Z
id cronfa49760
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2020-10-15T14:08:24.4071198</datestamp><bib-version>v2</bib-version><id>49760</id><entry>2019-03-26</entry><title>Towards Small-step Compilation Schemas for SOS</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-03-26</date><deptcode>SBI</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015</journal><paginationStart>121</paginationStart><paginationEnd>123</paginationEnd><publisher/><issnElectronic>1670-5777</issnElectronic><keywords/><publishedDay>1</publishedDay><publishedMonth>2</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-02-01</publishedDate><doi/><url>http://icetcs.ru.is/nwpt2015/</url><notes>Publicly available at http://icetcs.ru.is/nwpt2015/</notes><college>COLLEGE NANME</college><department>Biosciences</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SBI</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2020-10-15T14:08:24.4071198</lastEdited><Created>2019-03-26T19:58:59.5943548</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></authors><documents/><OutputDurs/></rfc1807>
spelling 2020-10-15T14:08:24.4071198 v2 49760 2019-03-26 Towards Small-step Compilation Schemas for SOS e54f54330e5abba1afddbfcb78ba54c1 Ferdinand Vesely Ferdinand Vesely true false 2019-03-26 SBI Conference Paper/Proceeding/Abstract Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015 121 123 1670-5777 1 2 2016 2016-02-01 http://icetcs.ru.is/nwpt2015/ Publicly available at http://icetcs.ru.is/nwpt2015/ COLLEGE NANME Biosciences COLLEGE CODE SBI Swansea University 2020-10-15T14:08:24.4071198 2019-03-26T19:58:59.5943548 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ferdinand Vesely 1
title Towards Small-step Compilation Schemas for SOS
spellingShingle Towards Small-step Compilation Schemas for SOS
Ferdinand Vesely
title_short Towards Small-step Compilation Schemas for SOS
title_full Towards Small-step Compilation Schemas for SOS
title_fullStr Towards Small-step Compilation Schemas for SOS
title_full_unstemmed Towards Small-step Compilation Schemas for SOS
title_sort Towards Small-step Compilation Schemas for SOS
author_id_str_mv e54f54330e5abba1afddbfcb78ba54c1
author_id_fullname_str_mv e54f54330e5abba1afddbfcb78ba54c1_***_Ferdinand Vesely
author Ferdinand Vesely
author2 Ferdinand Vesely
format Conference Paper/Proceeding/Abstract
container_title Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015
container_start_page 121
publishDate 2016
institution Swansea University
issn 1670-5777
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
url http://icetcs.ru.is/nwpt2015/
document_store_str 0
active_str 0
published_date 2016-02-01T04:00:58Z
_version_ 1763753127555629056
score 11.037056