Visual programming with recursion patterns in interaction nets

Ian Mackie; Jorge Sousa Pinto; Miguel Vilaça

doi:10.14279/tuj.eceasst.6.66.49

Visual programming with recursion patterns in interaction nets

Ian Mackie
, Jorge Sousa Pinto
, Miguel Vilaça

École Polytechnique

King's College London
Universidade de Minho

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns as a programming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.

Original language	English
Journal	Electronic Communications of the EASST
Volume	6
DOIs	https://doi.org/10.14279/tuj.eceasst.6.66.49
Publication status	Published - 1 Jan 2007

Keywords

Interaction nets
Recursion patterns

Access to Document

10.14279/tuj.eceasst.6.66.49

Cite this

@article{f5bda9a87b7440c7bc3199e0ab1945d1,

title = "Visual programming with recursion patterns in interaction nets",

abstract = "In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns as a programming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.",

keywords = "Interaction nets, Recursion patterns",

author = "Ian Mackie and Pinto, \{Jorge Sousa\} and Miguel Vila{\c c}a",

note = "Publisher Copyright: {\textcopyright} 2007, Universitatsbibliothek TU Berlin.",

year = "2007",

month = jan,

day = "1",

doi = "10.14279/tuj.eceasst.6.66.49",

language = "English",

volume = "6",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "Berlin Universities Publishing",

}

TY - JOUR

T1 - Visual programming with recursion patterns in interaction nets

AU - Mackie, Ian

AU - Pinto, Jorge Sousa

AU - Vilaça, Miguel

PY - 2007/1/1

Y1 - 2007/1/1

N2 - In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns as a programming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.

AB - In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns as a programming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.

KW - Interaction nets

KW - Recursion patterns

UR - https://www.scopus.com/pages/publications/85042863649

U2 - 10.14279/tuj.eceasst.6.66.49

DO - 10.14279/tuj.eceasst.6.66.49

M3 - Article

AN - SCOPUS:85042863649

SN - 1863-2122

VL - 6

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

ER -

Visual programming with recursion patterns in interaction nets

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this