The following pages link to (Q2740996):
Displayed 4 items.
- 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)