No Cover Image

Conference Paper/Proceeding/Abstract 1062 views 89 downloads

Provably Optimal Code Generation using Logic Programming

Tom Crick Orcid Logo

Swansea University Author: Tom Crick Orcid Logo

Published: House of Commons, London, UK SET for Britain 2010 2010
Online Access: http://www.setforbritain.org.uk/2010event.asp
URI: https://cronfa.swan.ac.uk/Record/cronfa48023
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-12-28T20:01:41Z
last_indexed 2019-02-04T20:01:15Z
id cronfa48023
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-02-04T14:53:12.6316314</datestamp><bib-version>v2</bib-version><id>48023</id><entry>2018-12-28</entry><title>Provably Optimal Code Generation using Logic Programming</title><swanseaauthors><author><sid>200c66ef0fc55391f736f6e926fb4b99</sid><ORCID>0000-0001-5196-9389</ORCID><firstname>Tom</firstname><surname>Crick</surname><name>Tom Crick</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2018-12-28</date><deptcode>EDUC</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal/><publisher>SET for Britain 2010</publisher><placeOfPublication>House of Commons, London, UK</placeOfPublication><keywords/><publishedDay>8</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2010</publishedYear><publishedDate>2010-03-08</publishedDate><doi/><url>http://www.setforbritain.org.uk/2010event.asp</url><notes>Posted presented at SET for Britain 2010 (now STEM for Britain) at the House of Commons on Monday 8 March 2010.</notes><college>COLLEGE NANME</college><department>Education</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-02-04T14:53:12.6316314</lastEdited><Created>2018-12-28T14:49:18.9064435</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">School of Social Sciences - Education and Childhood Studies</level></path><authors><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>1</order></author></authors><documents><document><filename>0048023-28122018145101.pdf</filename><originalFilename>setforbritain2010.pdf</originalFilename><uploaded>2018-12-28T14:51:01.0200000</uploaded><type>Output</type><contentLength>247872</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-12-28T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2019-02-04T14:53:12.6316314 v2 48023 2018-12-28 Provably Optimal Code Generation using Logic Programming 200c66ef0fc55391f736f6e926fb4b99 0000-0001-5196-9389 Tom Crick Tom Crick true false 2018-12-28 EDUC Conference Paper/Proceeding/Abstract SET for Britain 2010 House of Commons, London, UK 8 3 2010 2010-03-08 http://www.setforbritain.org.uk/2010event.asp Posted presented at SET for Britain 2010 (now STEM for Britain) at the House of Commons on Monday 8 March 2010. COLLEGE NANME Education COLLEGE CODE EDUC Swansea University 2019-02-04T14:53:12.6316314 2018-12-28T14:49:18.9064435 Faculty of Humanities and Social Sciences School of Social Sciences - Education and Childhood Studies Tom Crick 0000-0001-5196-9389 1 0048023-28122018145101.pdf setforbritain2010.pdf 2018-12-28T14:51:01.0200000 Output 247872 application/pdf Version of Record true 2018-12-28T00:00:00.0000000 true eng
title Provably Optimal Code Generation using Logic Programming
spellingShingle Provably Optimal Code Generation using Logic Programming
Tom Crick
title_short Provably Optimal Code Generation using Logic Programming
title_full Provably Optimal Code Generation using Logic Programming
title_fullStr Provably Optimal Code Generation using Logic Programming
title_full_unstemmed Provably Optimal Code Generation using Logic Programming
title_sort Provably Optimal Code Generation using Logic Programming
author_id_str_mv 200c66ef0fc55391f736f6e926fb4b99
author_id_fullname_str_mv 200c66ef0fc55391f736f6e926fb4b99_***_Tom Crick
author Tom Crick
author2 Tom Crick
format Conference Paper/Proceeding/Abstract
publishDate 2010
institution Swansea University
publisher SET for Britain 2010
college_str Faculty of Humanities and Social Sciences
hierarchytype
hierarchy_top_id facultyofhumanitiesandsocialsciences
hierarchy_top_title Faculty of Humanities and Social Sciences
hierarchy_parent_id facultyofhumanitiesandsocialsciences
hierarchy_parent_title Faculty of Humanities and Social Sciences
department_str School of Social Sciences - Education and Childhood Studies{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}School of Social Sciences - Education and Childhood Studies
url http://www.setforbritain.org.uk/2010event.asp
document_store_str 1
active_str 0
published_date 2010-03-08T03:58:18Z
_version_ 1763752960106430464
score 11.037603

Similar Items