Tools
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.
Official URL: http://dx.doi.org/10.1016/S0304-3975(02)00637-0
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 |