Shinya Sato

16 papers Misc 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2023 — conf
Conditional Nested Pattern Matching in Interaction Net.
DCM
Shinya Sato
2016 Misc conf
An Interaction Net Encoding of Gödel's System
FLOPS
Ian Mackie, Shinya Sato
2016 — conf
In-place Graph Rewriting with Interaction Nets.
TERMGRAPH
Ian Mackie, Shinya Sato
2015 — —
Design and implementation of a low-level language for interaction nets.
Shinya Sato
2015 J jnl
Parallel Evaluation of Interaction Nets: Case Studies and Experiments.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ian Mackie, Shinya Sato
2015 — conf
Parallel Evaluation of Interaction Nets: Some Observations and Examples.
GCM@ICGT
Ian Mackie, Shinya Sato
2014 — conf
An Implementation Model for Interaction Nets.
TERMGRAPH
Abubakar Hassan, Ian Mackie, Shinya Sato
2013 — conf
Multi-sensor / multi-beam InSAR ground deformation monitoring of water-flood oil fields.
MultiTemp
Benjamin Deschamps, Michael D. Henschel, Gillian Walter, Ji Chen, Shinya Sato, Shane Gravelle
2010 J jnl
A lightweight abstract machine for interaction nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Abubakar Hassan, Ian Mackie, Shinya Sato
2009 — conf
An Implementation of Nested Pattern Matching in Interaction Nets
RULE
Abubakar Hassan, Eugen Jiresch, Shinya Sato
2009 — conf
Compilation of Interaction Nets.
TERMGRAPH@ETAPS
Abubakar Hassan, Ian Mackie, Shinya Sato
2009 — conf
Recursive Functions with Pattern Matching in Interaction Nets.
TERMGRAPH@ETAPS
Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
2008 J jnl
Interaction nets: programming language design and implementation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Abubakar Hassan, Ian Mackie, Shinya Sato
2007 — conf
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.
DCM@ICALP
Ian Mackie, Shinya Sato
2007 — conf
Interaction Nets With Nested Pattern Matching.
TERMGRAPH@ETAPS
Abubakar Hassan, Shinya Sato
2001 — conf
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.
WFLP
Shinya Sato, Toru Sugimoto, Shinichi Yamada