基于类的面向对象编程中的语义谓词类型与逼近
计算机科学中的逻辑
2011-09-22 v1
摘要
我们将交类型原则应用于基于类的面向对象程序的研究；我们的工作延续了 van Bakel 和 de'Liguoro 在 Abadi 和 Cardelli 的 Varsigma-对象演算背景下采取的类似方法。我们定义了 Featherweight Java 的一个扩展 FJc，并提出了一个谓词系统，证明了其可靠性和表达力。我们还表明，我们的系统通过推广 Lambda 演算中的逼近概念并证明一个逼近结果，为面向对象范式提供了语义基础：所有可赋予谓词的表达式都具有满足相同谓词的逼近。对此结果至关重要的是谓词语言的概念，它将一族谓词与一个类相关联。
引用
@article{arxiv.1109.4618,
title = {Semantic Predicate Types and Approximation for Class-based Object Oriented Programming},
author = {Steffen van Bakel and Reuben N. S. Rowe},
journal= {arXiv preprint arXiv:1109.4618},
year = {2011}
}
备注
Proceedings of 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy, July 6 2009