The dynamic geometry of interaction machine : a call-by-need graph rewriter
- Submitting institution
-
The University of Birmingham
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 56758592
- Type
- E - Conference contribution
- DOI
-
10.4230/LIPIcs.CSL.2017.32
- Title of conference / published proceedings
- 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
- First page
- 32:1
- Volume
- 82
- Issue
- -
- ISSN
- 1868-8969
- Open access status
- Compliant
- Month of publication
- August
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This describes a novel semantic model for higher-order computation, based on hierarchical graph rewriting. It can be used to reason about both extensional and intensional properties of code. The paper was selected for a special issue of the Logical Methods in Computer Science journal. It initiated a major research programme into abstract machines based on graph rewriting, led by former PhD student Koko Muroya, now holding a prestigious research fellowship at the RIMS Institute (Kyoto). Muroya presented this work in several invited talks, including a keynote address at the Lambda World Conference in Cadiz, 2018 (all expenses paid, 200+ attendees).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -