Operational Equivalence for Interaction Nets

Fernández, Maribel and Mackie, Ian (2003) Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297 (1-3). pp. 157-181. ISSN 0304-3975

Full text not available from this repository.
Item Type: Article
Additional Information: Originality: This paper introduces for the first time an operational theory of interaction nets: in particular techniques and tools to compute when two programs are equivalent. Rigour: The main result of the paper, that contextual equivalence and bisimilarity coincide, gives a powerful proof technique that has been used to prove correct compiler optimisations, and correctness proofs of encodings of other languages into interaction nets. Significance: Brings powerful operational techniques into the realm of interaction nets. Impact: This work has been used as the starting point for several other studies of operational equivalence, including two PhD theses at other institutions.
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 19:52
Last Modified: 28 Mar 2012 14:26
URI: http://sro.sussex.ac.uk/id/eprint/22712
📧 Request an update