Conference Paper/Proceeding/Abstract 233 views
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs
Haskell Symposium, Pages: 23 - 34
Swansea University Author:
Neil Sculthorpe
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1145/2804302.2804303
Abstract
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs
Published in: | Haskell Symposium |
---|---|
Published: |
ACM
2015
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa22987 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2015-09-02T02:09:31Z |
---|---|
last_indexed |
2018-02-09T05:01:40Z |
id |
cronfa22987 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2015-09-01T15:02:20.2167983</datestamp><bib-version>v2</bib-version><id>22987</id><entry>2015-09-01</entry><title>Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs</title><swanseaauthors><author><sid>76ee2c9fee94bf4beca191a0ea19e7a4</sid><ORCID>0000-0002-7244-0916</ORCID><firstname>Neil</firstname><surname>Sculthorpe</surname><name>Neil Sculthorpe</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-09-01</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Haskell Symposium</journal><paginationStart>23</paginationStart><paginationEnd>34</paginationEnd><publisher>ACM</publisher><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-12-31</publishedDate><doi>10.1145/2804302.2804303</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-09-01T15:02:20.2167983</lastEdited><Created>2015-09-01T15:02:20.2167983</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>Andrew</firstname><surname>Farmer</surname><order>1</order></author><author><firstname>Neil</firstname><surname>Sculthorpe</surname><orcid>0000-0002-7244-0916</orcid><order>2</order></author><author><firstname>Andy</firstname><surname>Gill</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807> |
spelling |
2015-09-01T15:02:20.2167983 v2 22987 2015-09-01 Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs 76ee2c9fee94bf4beca191a0ea19e7a4 0000-0002-7244-0916 Neil Sculthorpe Neil Sculthorpe true false 2015-09-01 SCS Conference Paper/Proceeding/Abstract Haskell Symposium 23 34 ACM 31 12 2015 2015-12-31 10.1145/2804302.2804303 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2015-09-01T15:02:20.2167983 2015-09-01T15:02:20.2167983 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Andrew Farmer 1 Neil Sculthorpe 0000-0002-7244-0916 2 Andy Gill 3 |
title |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs |
spellingShingle |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs Neil Sculthorpe |
title_short |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs |
title_full |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs |
title_fullStr |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs |
title_full_unstemmed |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs |
title_sort |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs |
author_id_str_mv |
76ee2c9fee94bf4beca191a0ea19e7a4 |
author_id_fullname_str_mv |
76ee2c9fee94bf4beca191a0ea19e7a4_***_Neil Sculthorpe |
author |
Neil Sculthorpe |
author2 |
Andrew Farmer Neil Sculthorpe Andy Gill |
format |
Conference Paper/Proceeding/Abstract |
container_title |
Haskell Symposium |
container_start_page |
23 |
publishDate |
2015 |
institution |
Swansea University |
doi_str_mv |
10.1145/2804302.2804303 |
publisher |
ACM |
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 |
0 |
active_str |
0 |
published_date |
2015-12-31T03:27:16Z |
_version_ |
1763751007254216704 |
score |
11.0128355 |