Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Rewriting Conversions Implemented with Continuations

Simple item page
dc.contributor.authorNorrish, Michael
dc.date.accessioned2015-12-10T22:40:21Z
dc.date.issued2009
dc.date.updated2016-02-24T11:44:44Z
dc.description.abstractWe give a continuation-based implementation of rewriting for systems in the LCF tradition. These systems must construct explicit proofs of equations when rewriting, and currently do so in a way that can be very space-inefficient. An explicit representation of continuations improves performance on large terms, and on long-running computations.
dc.identifier.issn0168-7433
dc.identifier.urihttp://hdl.handle.net/1885/57434
dc.publisherKluwer Academic Publishers
dc.sourceJournal of Automated Reasoning
dc.subjectKeywords: Continuation-passing style; Explicit representation; Interactive theorem-proving; Rewriting; Theorem proving Continuation-passing style; Interactive theorem-proving; Rewriting
dc.titleRewriting Conversions Implemented with Continuations
dc.typeJournal article
local.bibliographicCitation.issue3
local.bibliographicCitation.lastpage336
local.bibliographicCitation.startpage305
local.contributor.affiliationNorrish, Michael, College of Engineering and Computer Science, ANU
local.contributor.authoruidNorrish, Michael, u4087502
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080503 - Networking and Communications
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationu8803936xPUB400
local.identifier.citationvolume43
local.identifier.doi10.1007/s10817-009-9146-5
local.identifier.scopusID2-s2.0-70349590946
local.identifier.thomsonID000269912700005
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 3 of 3
Thumbnail Image
Name:
01_Norrish_Rewriting_Conversions_2009.pdf
Size:
221.66 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
02_Norrish_Rewriting_Conversions_2009.pdf
Size:
347.03 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
03_Norrish_Rewriting_Conversions_2009.pdf
Size:
10.49 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS

abcd