Cited By
View all- Fokkink WKamperman JWalters P(2000)Lazy rewriting on eager machineryACM Transactions on Programming Languages and Systems (TOPLAS)10.1145/345099.34510222:1(45-86)Online publication date: 1-Jan-2000
- Letichevsky A(2005)Development of rewriting strategiesProgamming Language Implementation and Logic Programming10.1007/3-540-57186-8_92(378-390)Online publication date: 1-Jun-2005
- Ogata KIoroi SFutatsugi KBryant BLamont GHaddad HCarroll J(1999)Optimizing term rewriting using discrimination nets with specializationProceedings of the 1999 ACM symposium on Applied computing10.1145/298151.298431(511-518)Online publication date: 28-Feb-1999