Parallel evaluation of interaction nets with MPINE

We describe the MPINE tool, a multi-threaded evaluator for Interaction Nets. The evaluator is an implementation of the present author's Machine for Interaction Nets and uses POSIX threads to achieve concurrent execution. When running on a multi-processor machine (say an SMP architecture), paral...

Full description

Bibliographic Details
Main Author: Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2001
Subjects:
Interaction nets
Multi-threaded evaluators
Online Access:http://hdl.handle.net/1822/773
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/773

Internet

http://hdl.handle.net/1822/773

Similar Items