✦ LIBER ✦

Typed generic traversal with term rewriting strategies

✍ Scribed by Ralf Lämmel

Book ID: 114414927
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 726 KB
Volume: 54
Category: Article
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(02)00028-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Term Rewriting with Type-safe Traversal

Term Rewriting with Type-safe Traversal Functions

✍ M.G.J. van den Brand; P. Klint; J.J. Vinju 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 990 KB

Generic type-preserving traversal strate

Generic type-preserving traversal strategies

✍ Ralf Lämmel 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 424 KB

A typed model of strategic rewriting with coverage of generic traversals is developed. The corresponding calculus offers, for example, a strategy operator \(\square(\cdot)\), which applies the argument strategy to all immediate subterms. To provide a typeful model for generic strategies, one has to

Term Rewriting with Operator Evaluation

Term Rewriting with Operator Evaluation Strategies

✍ Steven Eker 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 981 KB

Supersymmetric general Bianchi type IX c

Supersymmetric general Bianchi type IX cosmology with a cosmological term

✍ Robert Graham 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 350 KB

Generic-Type Results for Chaotic Dynamic

Generic-Type Results for Chaotic Dynamics in Equations with Periodic Forcing Terms

✍ Elena Bosetto; Enrico Serra; Susanna Terracini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 190 KB

Bianchi type-I cosmological models with

Bianchi type-I cosmological models with time dependentqandΛ-term in general relativity

✍ Anirudh Pradhan, Rekha Jaiswal, Rajeev Kumar Khare 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 457 KB