×

Found 8 Documents (Results 1–8)

mu-term: verify termination properties automatically (system description). (English) Zbl 07614689

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 436-447 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Function calls at frozen positions in termination of context-sensitive rewriting. (English) Zbl 1321.68330

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 311-330 (2015).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Proving termination of context-sensitive rewriting with MU-TERM. (English) Zbl 1278.68113

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 105-115 (2007).
MSC:  68Q42 68N15
PDFBibTeX XMLCite
Full Text: DOI

Improving the context-sensitive dependency graph. (English) Zbl 1278.68114

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 91-103 (2007).
MSC:  68Q42 68N15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software