No Cover Image

Journal article 1619 views 297 downloads

Program extraction applied to monadic parsing

Ulrich Berger Orcid Logo, Alison Jones, Monika Seisenberger Orcid Logo

Journal of Logic and Computation, Start page: exv078

Swansea University Authors: Ulrich Berger Orcid Logo, Monika Seisenberger Orcid Logo

Check full text

DOI (Published version): 10.1093/logcom/exv078

Published in: Journal of Logic and Computation
ISSN: 0955-792X 1465-363X
Published: 2015
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa25075
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2015-12-16T01:58:36Z
last_indexed 2023-01-31T03:31:40Z
id cronfa25075
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-01-30T15:58:44.2556198</datestamp><bib-version>v2</bib-version><id>25075</id><entry>2015-12-15</entry><title>Program extraction applied to monadic parsing</title><swanseaauthors><author><sid>61199ae25042a5e629c5398c4a40a4f5</sid><ORCID>0000-0002-7677-3582</ORCID><firstname>Ulrich</firstname><surname>Berger</surname><name>Ulrich Berger</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>d035399b2b324a63fe472ce0344653e0</sid><ORCID>0000-0002-2226-386X</ORCID><firstname>Monika</firstname><surname>Seisenberger</surname><name>Monika Seisenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-12-15</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>Journal of Logic and Computation</journal><volume/><journalNumber/><paginationStart>exv078</paginationStart><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0955-792X</issnPrint><issnElectronic>1465-363X</issnElectronic><keywords/><publishedDay>8</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-12-08</publishedDate><doi>10.1093/logcom/exv078</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-01-30T15:58:44.2556198</lastEdited><Created>2015-12-15T23:52:55.7259939</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>Ulrich</firstname><surname>Berger</surname><orcid>0000-0002-7677-3582</orcid><order>1</order></author><author><firstname>Alison</firstname><surname>Jones</surname><order>2</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid>0000-0002-2226-386X</orcid><order>3</order></author></authors><documents><document><filename>0025075-06062017230311.pdf</filename><originalFilename>Seisenberger-ExtractingMonadicParsers-JLC.pdf</originalFilename><uploaded>2017-06-06T23:03:11.8500000</uploaded><type>Output</type><contentLength>359086</contentLength><contentType>application/pdf</contentType><version>Author's Original</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-06-06T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2023-01-30T15:58:44.2556198 v2 25075 2015-12-15 Program extraction applied to monadic parsing 61199ae25042a5e629c5398c4a40a4f5 0000-0002-7677-3582 Ulrich Berger Ulrich Berger true false d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false 2015-12-15 SCS Journal Article Journal of Logic and Computation exv078 0955-792X 1465-363X 8 12 2015 2015-12-08 10.1093/logcom/exv078 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-01-30T15:58:44.2556198 2015-12-15T23:52:55.7259939 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 0000-0002-7677-3582 1 Alison Jones 2 Monika Seisenberger 0000-0002-2226-386X 3 0025075-06062017230311.pdf Seisenberger-ExtractingMonadicParsers-JLC.pdf 2017-06-06T23:03:11.8500000 Output 359086 application/pdf Author's Original true 2017-06-06T00:00:00.0000000 true eng
title Program extraction applied to monadic parsing
spellingShingle Program extraction applied to monadic parsing
Ulrich Berger
Monika Seisenberger
title_short Program extraction applied to monadic parsing
title_full Program extraction applied to monadic parsing
title_fullStr Program extraction applied to monadic parsing
title_full_unstemmed Program extraction applied to monadic parsing
title_sort Program extraction applied to monadic parsing
author_id_str_mv 61199ae25042a5e629c5398c4a40a4f5
d035399b2b324a63fe472ce0344653e0
author_id_fullname_str_mv 61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger
d035399b2b324a63fe472ce0344653e0_***_Monika Seisenberger
author Ulrich Berger
Monika Seisenberger
author2 Ulrich Berger
Alison Jones
Monika Seisenberger
format Journal article
container_title Journal of Logic and Computation
container_start_page exv078
publishDate 2015
institution Swansea University
issn 0955-792X
1465-363X
doi_str_mv 10.1093/logcom/exv078
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 2015-12-08T03:29:48Z
_version_ 1763751167532204032
score 11.037319

Similar Items