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 条
  • [1] ON THE SEMANTIC EXPRESSIVENESS OF ISO- AND EQUI-RECURSIVE TYPES
    Devriese, Dominique
    Martin, Eric m.
    Patrignani, Marco
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (04) : 1 - 45
  • [2] TYPE RECONSTRUCTION FOR THE LINEAR π-CALCULUS WITH COMPOSITE REGULAR TYPES
    Padovani, Luca
    LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (04)
  • [3] Type reconstruction for linear π-calculus with I/O subtyping
    Igarashi, A
    Kobayashi, N
    INFORMATION AND COMPUTATION, 2000, 161 (01) : 1 - 44
  • [4] A Calculus with Recursive Types, Record Concatenation and Subtyping
    Zhou, Yaoda
    Oliveira, Bruno C. D. S.
    Fan, Andong
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2022, 2022, 13658 : 175 - 195
  • [5] Enriching an Effect Calculus with Linear Types
    Egger, Jeff
    Mogelberg, Rasmus Ejlers
    Simpson, Alex
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 240 - +
  • [6] Linear Sized Types in the Calculus of Constructions
    Sacchini, Jorge Luis
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 169 - 185
  • [7] An arithmetical proof of the strong normalization for the λ-calculus with recursive equations on types
    David, Rene
    Nour, Karim
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 84 - +
  • [8] Mixed Linear and Non-linear Recursive Types
    Lindenhovius, Bert
    Mislove, Michael
    Zamdzhiev, Vladimir
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (ICFP):
  • [9] A Linear Account of Session Types in the Pi Calculus
    Giunti, Marco
    Vasconcelos, Vasco T.
    CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 432 - +
  • [10] Reconstruction of composite types for Decompilation
    Troshina, K.
    Derevenets, Y.
    Chernov, A.
    2010 10TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, 2010, : 179 - 188
12345