Show simple item record

dc.contributor.authorBUTTERFIELD, ANDREWen
dc.contributor.editorChristoph Benzmüller and Bruno Woltzenlogel Paleoen
dc.date.accessioned2014-10-14T10:11:08Z
dc.date.available2014-10-14T10:11:08Z
dc.date.created17th July 2014en
dc.date.issued2014en
dc.date.submitted2014en
dc.identifier.citationAndrew Butterfield, UTP2: Higher-Order Equational Reasoning by Pointing, Electronic Proceedings in Theoretical Computer Science, Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, Vienna, 17th July 2014, Christoph Benzmüller and Bruno Woltzenlogel Paleo, 167, 2014, 14 - 22en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/71489
dc.descriptionPUBLISHEDen
dc.descriptionViennaen
dc.description.abstractWe describe a prototype theorem prover, U.(TP)2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on alphabetised predicates in a 2nd-order logic, with a strong emphasis on equational reasoning. We present here an overview of the user-interface of this prover, which was developed from the outset using a point- and-click approach. We contrast this with the command-line paradigm that continues to dominate the mainstream theorem provers, and raises the question: can we have the best of both worlds?en
dc.format.extent14en
dc.format.extent22en
dc.language.isoenen
dc.relation.ispartofseries167en
dc.rightsYen
dc.subjectComputer Scienceen
dc.titleUTP2: Higher-Order Equational Reasoning by Pointingen
dc.title.alternativeElectronic Proceedings in Theoretical Computer Scienceen
dc.title.alternativeProceedings Eleventh Workshop on User Interfaces for Theorem Proversen
dc.typeConference Paperen
dc.contributor.sponsorScience Foundation Ireland (SFI)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/butrfelden
dc.identifier.rssinternalid97220en
dc.rights.ecaccessrightsopenAccess
dc.subject.TCDTagComputer Softwareen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record