×

Found 7 Documents (Results 1–7)

Program inversion for tail recursive functions. (English) Zbl 1236.68144

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 283-298, electronic only (2011).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Proving termination properties with mu-term. (English) Zbl 1308.68068

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 201-208 (2011).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Proving termination in the context-sensitive dependency pair framework. (English) Zbl 1306.68072

Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20–21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 18-34 (2010).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software