Login / Signup

Pattern-matching and rewriting rules for group indexed data structures.

Jean-Louis GiavittoOlivier Michel
Published in: ACM SIGPLAN Workshop on Rule-Based Programming (2002)
Keyphrases