scientific article

zbMath1272.68071MaRDI QIDQ2851049

Salvador Lucas, Santiago Escobar, María Alpuente

Publication date: 2 October 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

Proving termination of context-sensitive rewriting by transformation ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy

Uses Software

• OBJ3
• Maude

Cites Work

• Context-sensitive rewriting strategies
• Just-in-time
• Induction for termination with local strategies
• Termination of Rewriting with Strategy Annotations
• Term Rewriting and All That
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: