No Cover Image

Journal article 1596 views 342 downloads

A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++

Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer Orcid Logo

Theory of Computing Systems, Volume: 43, Issue: 3-4, Pages: 298 - 321

Swansea University Authors: Ulrich Berger, Anton Setzer Orcid Logo

DOI (Published version): 10.1007/s00224-007-9062-1

Published in: Theory of Computing Systems
Published: 2008
Online Access: http://www.cs.swan.ac.uk/~csetzer/articles/rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf
URI: https://cronfa.swan.ac.uk/Record/cronfa19416
first_indexed 2014-11-26T02:56:34Z
last_indexed 2019-06-05T09:45:40Z
id cronfa19416
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-06-03T16:18:41.3301237</datestamp><bib-version>v2</bib-version><id>19416</id><entry>2014-11-20</entry><title>A Provably Correct Translation of the &#x3BB;-Calculus into a Mathematical Model of C++</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>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2014-11-20</date><abstract></abstract><type>Journal Article</type><journal>Theory of Computing Systems</journal><volume>43</volume><journalNumber>3-4</journalNumber><paginationStart>298</paginationStart><paginationEnd>321</paginationEnd><publisher/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2008</publishedYear><publishedDate>2008-12-31</publishedDate><doi>10.1007/s00224-007-9062-1</doi><url>http://www.cs.swan.ac.uk/~csetzer/articles/rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf</url><notes></notes><college>COLLEGE NANME</college><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-06-03T16:18:41.3301237</lastEdited><Created>2014-11-20T19:06:11.6029632</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>Rose H.</firstname><surname>Abdul&amp;nbsp;Rauf</surname><order>1</order></author><author><firstname>Ulrich</firstname><surname>Berger</surname><order>2</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>3</order></author></authors><documents><document><filename>0019416-17052015172754.pdf</filename><originalFilename>rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf</originalFilename><uploaded>2015-05-17T17:27:54.6330000</uploaded><type>Output</type><contentLength>255247</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-17T17:27:54.0000000</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-06-03T16:18:41.3301237 v2 19416 2014-11-20 A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ 61199ae25042a5e629c5398c4a40a4f5 Ulrich Berger Ulrich Berger true false 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2014-11-20 Journal Article Theory of Computing Systems 43 3-4 298 321 31 12 2008 2008-12-31 10.1007/s00224-007-9062-1 http://www.cs.swan.ac.uk/~csetzer/articles/rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf COLLEGE NANME COLLEGE CODE Swansea University 2019-06-03T16:18:41.3301237 2014-11-20T19:06:11.6029632 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Rose H. Abdul&nbsp;Rauf 1 Ulrich Berger 2 Anton Setzer 0000-0001-5322-6060 3 0019416-17052015172754.pdf rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf 2015-05-17T17:27:54.6330000 Output 255247 application/pdf Accepted Manuscript true 2015-05-17T17:27:54.0000000 true
title A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
spellingShingle A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
Ulrich Berger
Anton Setzer
title_short A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_full A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_fullStr A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_full_unstemmed A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_sort A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
author_id_str_mv 61199ae25042a5e629c5398c4a40a4f5
5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger
5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Ulrich Berger
Anton Setzer
author2 Rose H. Abdul&nbsp;Rauf
Ulrich Berger
Anton Setzer
format Journal article
container_title Theory of Computing Systems
container_volume 43
container_issue 3-4
container_start_page 298
publishDate 2008
institution Swansea University
doi_str_mv 10.1007/s00224-007-9062-1
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://www.cs.swan.ac.uk/~csetzer/articles/rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf
document_store_str 1
active_str 0
published_date 2008-12-31T11:19:56Z
_version_ 1850667011014656000
score 11.088971

Similar Items