Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

被引：0
|
作者：
Padovani, Luca [1 ]
机构：
[1] Univ Torino, Dipartimento Informat, Turin, Italy
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | 2014年 / 8412卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We extend the linear pi-calculus with composite and equi-recursive types in a way that enables the sharing of data containing linear values, provided that there is no overlapping access on such values. We show that the extended type system admits a complete type reconstruction algorithm and, as a by-product, we solve the problem of reconstruction for equi-recursive session types.
引用
收藏
页码：88 / 102
页数：15
相关论文
共 50 条
  • [41] RECURSIVE CONSTRUCTION OF PARTICULAR SOLUTIONS TO NONHOMOGENEOUS LINEAR PARTIAL-DIFFERENTIAL EQUATIONS OF ELLIPTIC TYPE
    JANSSEN, HL
    LAMBERT, HL
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 1992, 39 (02) : 227 - 242
  • [42] Type synthesis of reconfigurable composite joints based on motion decomposition and reconstruction
    Lin, Rongfu
    Guo, Weizhong
    Sun, Qi
    Angeles, Jorge
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART C-JOURNAL OF MECHANICAL ENGINEERING SCIENCE, 2025,
  • [43] THE EFFECT OF VARIOUS NON-LINEAR MATRIX TYPES ON MECHANICAL PROPERTIES OF PARTICULATE COMPOSITE
    Majer, Zdenek
    Novotna, Eva
    CHEMICKE LISTY, 2011, 105 : S830 - S831
  • [44] A linear image reconstruction framework based on sobolev type inner products
    Janssen, B
    Kanters, F
    Duits, R
    Florack, L
    Romeny, BT
    SCALE SPACE AND PDE METHODS IN COMPUTER VISION, PROCEEDINGS, 2005, 3459 : 85 - 96
  • [45] A Linear Image Reconstruction Framework Based on Sobolev Type Inner Products
    Bart Janssen
    Frans Kanters
    Remco Duits
    Luc Florack
    Bart ter Haar Romeny
    International Journal of Computer Vision, 2006, 70 : 231 - 240
  • [46] A linear image reconstruction framework based on Sobolev type inner products
    Janssen, Bart
    Kanters, Frans
    Duits, Remco
    Florack, Luc
    Romeny, Bart Ter Haar
    INTERNATIONAL JOURNAL OF COMPUTER VISION, 2006, 70 (03) : 231 - 240
  • [47] A GREIT-type linear reconstruction algorithm for EIT using eigenimages
    Antink, Christoph Hoog
    Pikkemaat, Robert
    Leonhardt, Steffen
    XV INTERNATIONAL CONFERENCE ON ELECTRICAL BIO-IMPEDANCE (ICEBI) & XIV CONFERENCE ON ELECTRICAL IMPEDANCE TOMOGRAPHY (EIT), 2013, 434
  • [48] Separate reconstruction of solution components with singularities of various types for linear operator equations of the first kind
    V. V. Vasin
    E. O. Soboleva
    Proceedings of the Steklov Institute of Mathematics, 2015, 289 : 216 - 226
  • [49] Separate reconstruction of solution components with singularities of various types for linear operator equations of the first kind
    Vasin, V. V.
    Soboleva, E. O.
    TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2014, 20 (02): : 63 - 73
  • [50] Separate Reconstruction of Solution Components with Singularities of Various Types for Linear Operator Equations of the First Kind
    Vasin, V. V.
    Soboleva, E. O.
    PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2015, 289 : S216 - S226
12345