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.
Abstract
Towards Small-step Compilation Schemas for SOS
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 |