面向客户端-服务器模型的 RPC 演算理论
编程语言
2021-11-03 v1
摘要
借助多层编程语言，程序员可以指定代码的运行位置，从而减少基于 Web 的客户端-服务器模型的开发工作量，在该模型中程序员分别编写客户端和服务器程序并一同测试多个程序。RPC 演算作为 Cooper 与 Wadler 提出的此类语言基础之一，具有对称通信的特性，程序员可书写任意深度嵌套的客户端-服务器交互。然而，现有研究仅考虑动态类型的位置。我们提出一种带类型的 RPC 演算，其中位置在类型层面被追踪。一种新的定位类型系统为客户端-服务器模型的 RPC 演算理论铺平了道路。（在随后发表于 SCP2020 与 PPDP2021 的论文中，该带类型的 RPC 演算将被增强以支持多态位置与基于类型的切片编译。）
引用
@article{arxiv.2110.15183,
title = {A Theory of RPC Calculi for Client-Server Model},
author = {Kwanghoon Choi and Byeong-Mo Chang},
journal= {arXiv preprint arXiv:2110.15183},
year = {2021}
}
备注
ArXiv version of the JFP2019 published paper