Maribel Fernández, Ian Mackie  Home/Search
Context Related
| ens.fr/~maribel/papers/PLILP96.ps.gz ens.fr/pub/dmi/users/ma...PLILP96.ps.gz lix.polytechnique....APSENSX42.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ens.fr/~maribel/papers (more) From: dmi.ens.fr/EDITIO...liens.langlog (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we present a system of interaction that generalises Lafont's interaction nets by allowing computation in several nets in parallel and communication through a state. This framework allows us to represent large classes of term rewriting systems, genuine parallel functions, non-determinism, communication, sharing, and hence can be used to code features from Standard ML and Concurrent ML. 1 Introduction Term rewriting systems can be regarded as a multi-paradigm specification... (Update)
Context of citations to this paper: More
.... an interesting new perspective as both a programming paradigm [9] and an intermediate language for the implementation of other paradigms [5, 12, 4]. Their key feature is that all the operations in particular copying and discarding of data are explicit, thus modeling the main...
...confluence is guaranteed. The encoding of a restricted class of term rewriting systems into interaction nets was also investigated in [FM96a], see Section 5 for a comparison with our work. The paper is organized as follows. Section 2 introduces the necessary preliminaries....
Cited by: More
Term Rewriting as Interaction Nets Plus Hyperedge Replacement - Lohrey (1997) (Correct)
Coinductive Techniques for Operational Equivalence of.. - Fernandez, Mackie (1998) (Correct)
Active bibliography (related documents): More All
0.7: Integrating Paradigms via Interaction Nets (Extended Abstract) - Fernandez, Mackie (Correct)
0.5: Action Structures and the Pi Calculus - Milner (Correct)
0.3: Type Assignment and Termination of Interaction Nets - Fernández (Correct)
Similar documents based on text: More All
1.0: Operational Equivalence for Interaction Nets - Fernández, Mackie (Correct)
0.9: A Theory of Operational Equivalence for Interaction Nets - Fernandez, Mackie (Correct)
0.5: Interaction Nets and Term Rewriting Systems - Fernández, Mackie (1998) (Correct)
Related documents from co-citation: More All
2: evaluator based on interaction nets (context) - Mackie
2: Interaction Nets (context) - Lafont - 1990
BibTeX entry: (Update)
Maribel Fernandez and Ian Mackie. From term rewriting to generalised interaction nets. In Proceedings of PLILP'96. Programming Languages: Implementations, Logics, and Programs, number 1140 in LNCS. Springer-Verlag, 1996. http://citeseer.ist.psu.edu/fernandez96from.html More
@inproceedings{ fernandez96from,
author = "Maribel Fernandez and Ian Mackie",
title = "From Term Rewriting to Generalised Interaction Nets",
booktitle = "{PLILP}",
pages = "319-333",
year = "1996",
url = "citeseer.ist.psu.edu/fernandez96from.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
788 Rewrite Systems - Dershowitz, Jouannaud - 1989
474 Term Rewriting Systems - Klop - 1992
159 CML: A higher-order concurrent language (context) - Reppy - 1991
109 Interaction nets (context) - Lafont - 1990
75 The geometry of optimal lambda reduction - Gonthier, Abadi et al. - 1992
47 Department of Computer Science (context) - Milner, ss-calculus et al. - 1991
35 Combinatory representation of mobile processes - Honda, Yoshida - 1994
20 Implementing term rewrite languages in DACTL (context) - Kennaway - 1990
16 the adequacy of graph rewriting for simulating term rewritin.. - Kennaway, Klop et al. - 1994
13 A refinement of strong sequentiality for term rewriting syst.. (context) - Thatte - 1987
7 Interaction nets and term rewriting systems (context) - Fern'andez, Mackie - 1996
5 evaluator based on interaction nets (context) - Mackie
4 Non-copying term rewriting and modularity of termination (context) - Kurihara, Ohuchi
2 Action calculi II: ß-nets with boxes and replication (context) - Milner - 1993
2 Theory and Formal Methods of Computing 94: Proceedings of th.. (context) - Hankin, Mackie et al. - 1995
1 a degli Studi di Pisa (context) - Laneve, Concurrency et al. - 1993
Documents on the same site (http://www.ens.fr/~maribel/papers.html): More
An Object Calculus with Algebraic Rewriting - Compagnoni, Fernández (Correct)
Modularity of Strong Normalization and Confluence in.. - Barbanera, Fernández, .. (1994) (Correct)
Type Assignment and Termination of Interaction Nets - Fernández (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC