No Cover Image

Conference contribution 10 views 1 download

Provably Optimal Code Generation using Logic Programming / Tom Crick

Swansea University Author: Crick, Tom

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:12Z</datestamp><bib-version>v2</bib-version><id>48023</id><entry>2018-12-28</entry><title>Provably Optimal Code Generation using Logic Programming</title><alternativeTitle></alternativeTitle><author>Tom Crick</author><firstname>Tom</firstname><surname>Crick</surname><active>true</active><ORCID>0000-0001-5196-9389</ORCID><ethesisStudent>false</ethesisStudent><sid>200c66ef0fc55391f736f6e926fb4b99</sid><email>9971fd6d74987b78a0d7fce128f8c721</email><emailaddr>z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs=</emailaddr><date>2018-12-28</date><deptcode>EDUC</deptcode><abstract></abstract><type>Conference contribution</type><journal></journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>SET for Britain 2010</publisher><placeOfPublication>House of Commons, London, UK</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic/><keywords></keywords><publishedDay>8</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2010</publishedYear><publishedDate>2010-03-08</publishedDate><doi></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 of Arts and Humanities</college><department>School of Education</department><CollegeCode>CAAH</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2019-02-04T14:53:12Z</lastEdited><Created>2018-12-28T14:49:18Z</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:01Z</uploaded><type>Output</type><contentLength>247872</contentLength><contentType>application/pdf</contentType><version>VoR</version><cronfaStatus>true</cronfaStatus><action>Updated Copyright</action><actionDate>04/02/2019</actionDate><embargoDate>2018-12-28T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2019-02-04T14:53:12Z v2 48023 2018-12-28 Provably Optimal Code Generation using Logic Programming Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 2018-12-28 EDUC Conference contribution 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 of Arts and Humanities School of Education CAAH EDUC None None 2019-02-04T14:53:12Z 2018-12-28T14:49:18Z College of Arts and Humanities School of Education Tom Crick 0000-0001-5196-9389 1 0048023-28122018145101.pdf setforbritain2010.pdf 2018-12-28T14:51:01Z Output 247872 application/pdf VoR true Updated Copyright 04/02/2019 2018-12-28T00:00:00 true eng
title Provably Optimal Code Generation using Logic Programming
spellingShingle Provably Optimal Code Generation using Logic Programming
Crick, Tom
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_***_Crick, Tom
author Crick, Tom
author2 Tom Crick
format Conference contribution
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 0
active_str 1
published_date 2010-03-08T14:01:49Z
_version_ 1625634330687569920
score 10.778689