Encoding an Object Calculus into Interaction Nets

被引：0
|
作者：
Fleutot, Fabien [1 ,2 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London, England
[2] Univ Paris VII, Paris, France
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 127卷 / 05期
关键词：
Object calculus; Interaction nets; Linearisation; Explicit substitution;
D O I：
10.1016/j.entcs.2005.03.024
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose an encoding of an object calculus into interaction nets in two stages. First, we make the calculus fully explicit, i.e. with explicit substitutions, duplications and erasures. Then, we use this explicit calculus to produce an interaction net encoding of objects.
引用
收藏
页码：83 / 111
页数：29
相关论文
共 50 条
  • [1] Encoding strategies in the lambda calculus with interaction nets
    Mackie, Ian
    [J]. Implementation and Application of Functional Languages, 2006, 4015 : 19 - 36
  • [2] A calculus for interaction nets
    Fernández, M
    Mackie, I
    [J]. PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 170 - 187
  • [3] Extending the Interaction Nets Calculus by Generic Rules
    Jiresch, Eugen
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (101): : 12 - 24
  • [4] Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets
    Fernandez, Maribel
    Mackie, Ian
    Sinot, Francois-Regis
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 154 (03) : 19 - 32
  • [5] A CALCULUS OF NETS
    CZAJA, L
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (02) : 185 - 193
  • [6] A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
    Mackie, Ian
    Sato, Shinya
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 192 (03) : 59 - 70
  • [7] Interpreting a finitary pi-calculus in differential interaction nets
    Ehrhard, Thomas
    Laurent, Olivier
    [J]. CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 333 - 348
  • [8] Interpreting a finitary pi-calculus in differential interaction nets
    Ehrhard, Thomas
    Laurent, Olivier
    [J]. INFORMATION AND COMPUTATION, 2010, 208 (06) : 606 - 633
  • [9] From Functional Programs to Interaction Nets via the Rewriting Calculus
    Cirstea, Horatiu
    Faure, Germain
    Fernandez, Maribel
    Mackie, Ian
    Sinot, Francois-Regis
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (10) : 39 - 56
  • [10] An encoding of the λ-calculus in the String MultiSetRewriting calculus
    Bagossy, Attila
    Battyanyi, Peter
    [J]. ACTA INFORMATICA, 2024, 61 (02) : 161 - 181
12345