A generic type system for higher-order Ψ-calculi

被引：0

作者：

Huttel, Hans ^{[1
]}

Lybech, Stian ^{[2
]}

Bendixen, Alex R. ^{[3
]}

Bojesen, Bjarke B. ^{[3
]}

机构：

[1] Univ Copenhagen, Dept Comp Sci, Univ Pk 1, DK-2100 Copenhagen, Denmark

[2] Reykjavik Univ, Dept Comp Sci, Menntavegur 1, IS-102 Reykjavik, Iceland

[3] Aalborg Univ, Dept Comp Sci, Selma Lagerlofs Vej 300, DK-9220 Aalborg, Denmark

来源：

INFORMATION AND COMPUTATION | 2024年 / 300卷

关键词：

MOBILE PROCESSES;

D O I：

10.1016/j.ic.2024.105190

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The Higher-Order Psi-calculus framework (HO Psi) by Parrow et al. is a generalisation of many first- and higher-order extensions of the pi-calculus. In this paper we present a generic type system for HO Psi-calculi. It satisfies a subject reduction property and can be instantiated to yield both existing and new type systems for calculi, that can be expressed as HO Psi-calculi. In this paper, we consider the type system for termination in HO pi by Demangeon et al. Moreover, we derive a new type system for the rho-calculus of Meredith and Radestock and present a type system for non-interference for mobile code. (c) 2024 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).

引用

页数：26

共 50 条

[21] The kell calculus: A family of higher-order distributed process calculi
Schmitt, A
Stefani, JB
GLOBAL COMPUTING, 2005, 3267 : 146 - 178
[22] Extended and Generic Higher-Order Elements for MEMS Modeling
Biolek, Zdenek
Biolkova, Viera
Biolek, Dalibor
Kolka, Zdenek
SENSORS, 2022, 22 (20)
[23] LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
Wisniewski, Max
Steen, Alexander
Benzmueller, Christoph
INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 325 - 330
[24] Higher-order intensional type analysis
Weirich, S
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2002, 2305 : 98 - 114
[25] HIGHER-ORDER TRANSFORMATIONS AND TYPE SIMULATIONS
HENSON, MC
COMPUTER JOURNAL, 1988, 31 (06): : 517 - 524
[26] Higher-order transformations and type simulations
Henson, M.C.
Computer Journal, 1988, 31 (06): : 517 - 524
[27] A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation
Cai, Yufei
Giarrusso, Paolo G.
Rendel, Tillmann
Ostermann, Klaus
ACM SIGPLAN NOTICES, 2014, 49 (06) : 145 - 155
[28] CATEGORICAL ABSTRACT MACHINES FOR HIGHER-ORDER TYPED LAMBDA-CALCULI
RITTER, E
THEORETICAL COMPUTER SCIENCE, 1994, 136 (01) : 125 - 162
[29] A Generic Table Recomputation-Based Higher-Order Masking
Tang, Ming
Qiu, Zhenlong
Guo, Zhipeng
Mu, Yi
Huang, Xinyi
Danger, Jean-Luc
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (11) : 1779 - 1789
[30] Charrelation and Charm: Generic Statistics Incorporating Higher-Order Information
Slapak, Alon
Yeredor, Arie
IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2012, 60 (10) : 5089 - 5106

← 1 2 3 4 5 →