Shinya Sato

According to our database, Shinya Sato authored at least 15 papers between 2001 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

In-place Graph Rewriting with Interaction Nets.

Ian Mackie, Shinya Sato

Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

An Interaction Net Encoding of Gödel's System <i>T</i> - Declarative Pearl.

Ian Mackie, Shinya Sato

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Design and implementation of a low-level language for interaction nets.

Shinya Sato

PhD thesis, 2015

Parallel Evaluation of Interaction Nets: Case Studies and Experiments.

Ian Mackie, Shinya Sato

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Parallel Evaluation of Interaction Nets: Some Observations and Examples.

Ian Mackie, Shinya Sato

Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

2014

An Implementation Model for Interaction Nets.

Abubakar Hassan, Ian Mackie, Shinya Sato

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

2013

Multi-sensor / multi-beam InSAR ground deformation monitoring of water-flood oil fields.

Benjamin Deschamps, Michael D. Henschel, Gillian Walter, Ji Chen, Shinya Sato, Shane Gravelle

Proceedings of the 7th International Workshop on the Analysis of Multi-temporal Remote Sensing Images, 2013

2010

A lightweight abstract machine for interaction nets.

Abubakar Hassan, Ian Mackie, Shinya Sato

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Compilation of Interaction Nets.

Abubakar Hassan, Ian Mackie, Shinya Sato

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Recursive Functions with Pattern Matching in Interaction Nets.

Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

An Implementation of Nested Pattern Matching in Interaction Nets

Abubakar Hassan, Eugen Jiresch, Shinya Sato

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008

Interaction nets: programming language design and implementation.

Abubakar Hassan, Ian Mackie, Shinya Sato

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007

A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.

Ian Mackie, Shinya Sato

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

Interaction Nets With Nested Pattern Matching.

Abubakar Hassan, Shinya Sato

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

2001

An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.

Shinya Sato, Toru Sugimoto, Shinichi Yamada

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001