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

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
journal	Electronic Communications of the EASST
Volume	6
Les DOIs	https://doi.org/10.14279/tuj.eceasst.6.66.49
état	Publié - 1 janv. 2007

Accès au document

10.14279/tuj.eceasst.6.66.49

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation