No Cover Image

Conference Paper/Proceeding/Abstract 307 views 22 downloads

Provably Optimal Code Generation using Logic Programming / Tom Crick

Swansea University Author: Tom Crick

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">College of Arts and Humanities</level><level id="2">School of Education</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 College of Arts and Humanities School of Education 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 College of Arts and Humanities
hierarchytype
hierarchy_top_id collegeofartsandhumanities
hierarchy_top_title College of Arts and Humanities
hierarchy_parent_id collegeofartsandhumanities
hierarchy_parent_title College of Arts and Humanities
department_str School of Education{{{_:::_}}}College of Arts and Humanities{{{_:::_}}}School of Education
url http://www.setforbritain.org.uk/2010event.asp
document_store_str 1
active_str 0
published_date 2010-03-08T04:04:24Z
_version_ 1718096247794958336
score 10.843154