×

Found 13 Documents (Results 1–13)

Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068

Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 26-46 (2016).
MSC:  68N30 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Strong and weak operational termination of order-sorted rewrite theories. (English) Zbl 1367.68144

Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 178-194 (2014).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Methods for proving termination of rewriting-based programming languages by transformation. (English) Zbl 1337.68067

Almendros-Jiménez, Jesús M (ed.), Proceedings of the 8th Spanish conference on programming and computer languages (PROLE 2008), Gijón, Spain, October 8–10, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 248, 93-113 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Operational termination of membership equational programs: the order-sorted way. (English) Zbl 1347.68198

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 207-225 (2009).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

A semantics for program analysis in narrowing-based functional logic languages. (English) Zbl 0988.68089

Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 353-368 (1999).
MSC:  68Q42 68N17 68N18
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software