Journal article 689 views 138 downloads
Specifying with syntactic theory functors
Journal of Logical and Algebraic Methods in Programming, Volume: 113, Start page: 100543
Swansea University Author:
Markus Roggenbach
-
PDF | Version of Record
©2020 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license.
Download (556.08KB)
DOI (Published version): 10.1016/j.jlamp.2020.100543
Abstract
Specifying with syntactic theory functors
Published in: | Journal of Logical and Algebraic Methods in Programming |
---|---|
ISSN: | 2352-2208 |
Published: |
Elsevier BV
2020
|
Online Access: |
Check full text
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa53791 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2020-07-05T15:15:58Z |
---|---|
last_indexed |
2020-07-05T19:16:12Z |
id |
cronfa53791 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2020-07-05T16:16:33.8444493</datestamp><bib-version>v2</bib-version><id>53791</id><entry>2020-03-09</entry><title>Specifying with syntactic theory functors</title><swanseaauthors><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2020-03-09</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>Journal of Logical and Algebraic Methods in Programming</journal><volume>113</volume><paginationStart>100543</paginationStart><publisher>Elsevier BV</publisher><issnPrint>2352-2208</issnPrint><keywords>Specification languages; Reuse mechanisms; Institution-independence</keywords><publishedDay>1</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-06-01</publishedDate><doi>10.1016/j.jlamp.2020.100543</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2020-07-05T16:16:33.8444493</lastEdited><Created>2020-03-09T15:45:09.4507467</Created><authors><author><firstname>Magne</firstname><surname>Haveraaen</surname><order>1</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>2</order></author></authors><documents><document><filename>53791__17580__270b9377f4e149cfbf6a0915a380889a.pdf</filename><originalFilename>1-s2.0-S2352220820300286-main.pdf</originalFilename><uploaded>2020-06-25T17:09:08.5425301</uploaded><type>Output</type><contentLength>569429</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>©2020 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license.</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>http://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807> |
spelling |
2020-07-05T16:16:33.8444493 v2 53791 2020-03-09 Specifying with syntactic theory functors 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2020-03-09 SCS Journal Article Journal of Logical and Algebraic Methods in Programming 113 100543 Elsevier BV 2352-2208 Specification languages; Reuse mechanisms; Institution-independence 1 6 2020 2020-06-01 10.1016/j.jlamp.2020.100543 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2020-07-05T16:16:33.8444493 2020-03-09T15:45:09.4507467 Magne Haveraaen 1 Markus Roggenbach 0000-0002-3819-2787 2 53791__17580__270b9377f4e149cfbf6a0915a380889a.pdf 1-s2.0-S2352220820300286-main.pdf 2020-06-25T17:09:08.5425301 Output 569429 application/pdf Version of Record true ©2020 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license. true eng http://creativecommons.org/licenses/by/4.0/ |
title |
Specifying with syntactic theory functors |
spellingShingle |
Specifying with syntactic theory functors Markus Roggenbach |
title_short |
Specifying with syntactic theory functors |
title_full |
Specifying with syntactic theory functors |
title_fullStr |
Specifying with syntactic theory functors |
title_full_unstemmed |
Specifying with syntactic theory functors |
title_sort |
Specifying with syntactic theory functors |
author_id_str_mv |
7733869ae501442da6926fac77cd155b |
author_id_fullname_str_mv |
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach |
author |
Markus Roggenbach |
author2 |
Magne Haveraaen Markus Roggenbach |
format |
Journal article |
container_title |
Journal of Logical and Algebraic Methods in Programming |
container_volume |
113 |
container_start_page |
100543 |
publishDate |
2020 |
institution |
Swansea University |
issn |
2352-2208 |
doi_str_mv |
10.1016/j.jlamp.2020.100543 |
publisher |
Elsevier BV |
document_store_str |
1 |
active_str |
0 |
published_date |
2020-06-01T04:06:55Z |
_version_ |
1763753502359683072 |
score |
11.021648 |