Eingang zum Volltext in OPUS
Lizenz
Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-19898
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1989/
Hassan, Abubakar ; Mackie, Ian ; Sato, Shinya
Interaction nets: programming language design and implementation
| pdf-Format: |
| |
| Print-on-Demand: |  |
Kurzfassung auf Englisch
This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. In the same way that the lambda-calculus is the foundation for functional programming, or horn clauses are the foundation for logic programming, we give in this paper an overview of a substantial software system that is currently under development to support interaction based computation, and in particular the compilation of interaction nets.
| Freie Schlagwörter (Englisch): | Graph Transformation , Interaction Nets , programming languages | |
| Collection: | TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 10 (2008): Graph Transformation and Visual Modeling Techniques 2008 | |
| Institut: | Institut für Softwaretechnik und Theoretische Informatik | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | Aufsatz | |
| Schriftenreihe: | Electronic Communications of the EASST- ECEASST | |
| Bandnummer: | 10/09 | |
| ISBN/ISSN: | 1863-2122 | |
| Quelle: | http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2008 | |
| Publikationsdatum: | 28.08.2008 | |
| Lizenz: | Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja |
