Pages that link to "Item:Q2740996"
From MaRDI portal
The following pages link to Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories (Q2740996):
Displaying 10 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- GC\(^{2}\): a generational conservative garbage collector for the ATERM library (Q1885928) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applying ELAN strategies in simulating processors over simple architectures (Q2843608) (← links)
- Canonical abstract syntax trees (Q2873780) (← links)
- A compiler for nondeterministic term rewriting systems (Q5055858) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
