Correct and complete (positive) strategy annotations for \textsf{OBJ}

MaRDI QIDQ2851049zbMATH OpenFDO

Authors Santiago Escobar, Salvador Lucas, María Alpuente

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105825290

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1980914
• Just-in-time: on strategy annotations
• On-demand strategy annotations revisited: an improved on-demand evaluation strategy
• Termination of rewriting with strategy annotations
• Context-sensitive rewriting strategies

Cites work

• Context-sensitive rewriting strategies
• scientific article; zbMATH DE number 1722708 (Why is no real title available?)
• scientific article; zbMATH DE number 1231537 (Why is no real title available?)
• scientific article; zbMATH DE number 1231656 (Why is no real title available?)
• scientific article; zbMATH DE number 1332639 (Why is no real title available?)
• scientific article; zbMATH DE number 2090080 (Why is no real title available?)
• scientific article; zbMATH DE number 2090310 (Why is no real title available?)
• scientific article; zbMATH DE number 1405630 (Why is no real title available?)
• Induction for termination with local strategies
• Just-in-time: on strategy annotations
• Term Rewriting and All That
• Termination of rewriting with strategy annotations

Cited in

(6)

• On-demand strategy annotations revisited: an improved on-demand evaluation strategy
• Just-in-time: on strategy annotations
• Rewriting strategies and strategic rewrite programs
• scientific article; zbMATH DE number 1980914 (Why is no real title available?)
• scientific article; zbMATH DE number 1432331 (Why is no real title available?)
• Proving termination of context-sensitive rewriting by transformation

Describes a project that uses

Uses Software

• Maude
• OBJ3

This page was built for publication: Correct and complete (positive) strategy annotations for \textsf{OBJ}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851049)