No Cover Image

Journal article 612 views 124 downloads

Specifying with syntactic theory functors

Magne Haveraaen, Markus Roggenbach Orcid Logo

Journal of Logical and Algebraic Methods in Programming, Volume: 113, Start page: 100543

Swansea University Author: Markus Roggenbach Orcid Logo

  • 1-s2.0-S2352220820300286-main.pdf

    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)

Check full text

DOI (Published version): 10.1016/j.jlamp.2020.100543

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>&#xA9;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.014224

Similar Items