Towards a Real World Extension of Interaction Nets

01.04.2010 - 31.03.2012
Research funding project
Interaction nets are a promising new programming paradigm based on graph rewriting. The idea behind interaction nets is to represent (especially functional) programs as graphs (nets). Their execution is modeled by rewriting the graph based on specific node (agent) replacement rules. This simple system is able to model both high- and low-level aspects of computation. The theory behind interaction nets is well developed. Yet, the currently existing prototype programming languages based on interaction nets lack important impure language features for practical use, including input/output functionality, state manipulation or exception handling. The goal of this PhD project is to bring interaction nets closer to real world applications by providing a model for such impure features. We consider two candidates for the underlying theory of this model, namely monads and linear logic. Besides developing a theory of language extensions for interaction nets in this direction, we plan to implement and evaluate this extensible framework.

People

Project leader

Project personnel

Institute

Grant funds

  • Österr. Akademie der Wissenschaften (National) Austrian Academy of Sciences

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Interaction NetsInteraction nets
Funktionale ProgrammierungFunctional programming
MonadenMonads
Lineare LogikLinear logic

Publications