No Cover Image

Journal article 2056 views 440 downloads

Program extraction applied to monadic parsing

Ulrich Berger, Alison Jones, Monika Seisenberger Orcid Logo

Journal of Logic and Computation, Start page: exv078

Swansea University Authors: Ulrich Berger, 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
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><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><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><CollegeCode>COLLEGE CODE</CollegeCode><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><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 Ulrich Berger Ulrich Berger true false d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false 2015-12-15 Journal Article Journal of Logic and Computation exv078 0955-792X 1465-363X 8 12 2015 2015-12-08 10.1093/logcom/exv078 COLLEGE NANME COLLEGE CODE 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 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:46:21Z
_version_ 1851725637225545728
score 11.089864

Similar Items