多分级轻量级Java
摘要：资源感知类型系统不仅静态地近似程序的预期结果类型，还可以近似程序使用外部资源的方式，例如变量值被使用的次数。我们扩展了Featherweight Java的类型系统，使其能够感知资源，并基于一个任意的等级代数，模拟特定资源使用的方式。我们证明了这个类型系统相对于资源感知的约简是完备的，也就是说，一个类型良好的程序具有一个约简序列，不会因为资源消耗而陷入困境。此外，我们还展示了可用的等级可以是异构的，也就是说，可以通过一组最小的同态映射，从一种类型到另一种类型来组合不同种类的等级。最后，我们展示了如何将等级代数和同态映射指定为Java类，以便可以在语言本身中编写类型中的等级注解。
作者：Riccardo Bianchini and Francesco Dagnino and Paola Giannini and Elena Zucca
论文ID：2302.07782
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-02-16