Parallel evaluation of interaction nets with MPINE

DOI10.1007/3-540-45127-7_26MaRDI QIDQ2778889zbMATH OpenFDO

Authors Jorge Sousa Pinto

Publication date 21 March 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2051/20510353, https://hdl.handle.net/1822/773

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Computing methodologies and applications (68U99)

Recommendations

• Towards a GPU-based implementation of interaction nets
• Sequential and concurrent abstract machines for interaction nets
• A simple parallel implementation of interaction nets in Haskell
• Interaction Net Implementation of Additive and Multiplicative Structures
• Rewriting Techniques and Applications

Cited in

(7)

• From functional programs to interaction nets via the rewriting calculus
• Interaction nets with nested pattern matching
• MPINE
• Towards a GPU-based implementation of interaction nets
• A simple parallel implementation of interaction nets in Haskell
• Recursive Functions with Pattern Matching in Interaction Nets
• Compilation of interaction nets

This page was built for publication: Parallel evaluation of interaction nets with MPINE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2778889)