A Typed Slicing Compilation of the Polymorphic RPC calculus
A Typed Slicing Compilation of the Polymorphic RPC calculus
复制标题
多态 RPC 演算的类型化切片编译
DOI：
10.1145/3479394.3479406
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Choi K
中科院分区：
文献类型：
--
作者：
Choi K
多态RPC演算允许程序员使用多态位置构造编写简洁的多层程序。然而，到目前为止，它缺乏执行。我们开发了一个实验性的编程语言的多态RPC演算的基础上。我们引入了一个多态的客户端-服务器（CS）演算与客户端和服务器部分分离。与现有的无类型CS演算相比，我们的演算不仅能够静态地解决多态位置，而且还能够动态地这样做。我们设计了一个基于类型的切片编译的多态RPC演算到这个CS演算，证明类型和语义的正确性。我们提出了一种方法，删除不必要的类型执行，但保留在运行时的位置，通过翻译的多态CS演算成一个无类型的CS演算，证明语义的正确性。
The polymorphic RPC calculus allows programmers to write succinct multitier programs using polymorphic location constructs. However, until now it lacked an implementation. We develop an experimental programming language based on the polymorphic RPC calculus. We introduce a polymorphic Client-Server (CS) calculus with the client and server parts separated. In contrast to existing untyped CS calculi, our calculus is not only able to resolve polymorphic locations statically, but it is also able to do so dynamically. We design a type-based slicing compilation of the polymorphic RPC calculus into this CS calculus, proving type and semantic correctness. We propose a method to erase types unnecessary for execution but retaining locations at runtime by translating the polymorphic CS calculus into an untyped CS calculus, proving semantic correctness.
登录
查看更多内容
使用内涵类型分析编译多态性
DOI：
10.1145/199448.199475
发表时间：
1995
期刊：
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications
影响因子：
--
作者：
R. Harper;G. Morrisett
通讯作者：
G. Morrisett
上下文感知编程语言
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
T. Petříček
通讯作者：
T. Petříček
ML 中的无分层 Web 编程
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
Gabriel Radanne
通讯作者：
Gabriel Radanne
类型擦除语义中的内涵多态性
DOI：
--
发表时间：
1998
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Karl Crary;Stephanie Weirich;G. Morrisett
通讯作者：
G. Morrisett
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
A. Deller;D. Edwards;T. Mortensen;C. A. Isaac;D. P. Werf;H. Telle;M. Charlton
通讯作者：
M. Charlton