Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.68416OpenAlexW2234185834MaRDI QIDQ5898153

Jurgen Vinju, Tijs van der Storm, Paul Klint

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11601548

Mathematics Subject Classification ID

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

Uses Software

• Coq
• Stratego
• ANTLR
• AspectJ
• Maude

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity