Filters








2 Hits in 2.4 sec

Parallel Evaluation of Interaction Nets with MPINE [chapter]

Jorge Sousa Pinto
2001 Lecture Notes in Computer Science  
doi:10.1007/3-540-45127-7_26 fatcat:irxtkzq2rfhrfngk6hqkgbloga

Page 8490 of Mathematical Reviews Vol. , Issue 2002K [page]

2002 Mathematical Reviews  
of interaction nets with MPINE (353-356); Eelco Visser, Stratego: a language for program transformation 68 COMPUTER SCIENCE 8490 based on rewriting strategies (system description of Stratego 0.5) (357  ...  Woinowski, A normal form for Church-Rosser language systems (322-337); Toshiyuki Yamada, Confluence and termination of simply typed term rewriting systems (338-352); Jorge Sousa Pinto, Parallel evaluation  ...