最新更新时间:20/06/24:由于技术问题,目前无法在线订购。我们对解决此问题时延迟回复客户表示歉意。有关更多更新,请访问我们的网站:https://www.cambridge.org/news-and-insights/technical-incident
我们使用cookie将您与其他用户区分开来,并在我们的网站上为您提供更好的体验。关闭此消息以接受Cookie或了解如何管理您的cookie设置.
剑桥大学出版社在线出版:2012年11月2日
尽管独立类型语言的类型重建在实际系统中很常见,但它仍然不被理解。围绕它的问题的详细描述很难找到,并且没有正式的描述和正确性证明。本文讨论了逻辑框架LF中对象的一次类型重构,利用上下文模态类型框架对类型重构过程进行了形式化描述,并证明了类型重构的正确性。由于类型重建将找到大多数通用类型并可能保留自由变量,因此我们还描述了抽象,它将返回一个封闭对象,其中所有自由变量都绑定在外部。我们还将我们的算法实现为Beluga语言的一部分,并且我们的类型重建算法的性能与现有系统中的类型重建相当,例如逻辑框架Twelf。
加载。。。
查看全部谷歌学者引文用于本文。