File(s) not publicly available
Operational Equivalence for Interaction Nets
journal contribution
posted on 2023-06-08, 00:22 authored by Maribel Fernández, Ian MackieIan MackieNo description supplied
History
Publication status
- Published
Journal
Theoretical Computer ScienceISSN
0304-3975External DOI
Issue
1-3Volume
297Page range
157-181Pages
25.0Department affiliated with
- Informatics Publications
Notes
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.Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC