Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
Operational semantics of rewriting with the on-demand evaluation strategy
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |