首页> 外文OA文献 >Type Theoretical Foundations for Data Structures, Classes, and Objects
【2h】

Type Theoretical Foundations for Data Structures, Classes, and Objects

机译:数据结构,类和对象的类型理论基础

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

In this thesis we explore the question of how to represent programming data structures in a constructive type theory. The basic data structures in programing languages are records and objects. Most known papers treat such data structure as primitive. That is, they add new primitive type constructors and supporting axioms for records and objects. This approach is not satisfactory. First of all it complicates a type theory a lot. Second, the validity of the new axioms is not easily ablished. As we will see the naive choice of axioms can lead to contradiction even in the simplest cases. We will show that records and objects can be defined in a powerful enough type theory. We will also show how to use these type constructors to define abstract data structure.
机译:在本文中,我们探讨了如何在构造型理论中表示程序设计数据结构的问题。编程语言中的基本数据结构是记录和对象。大多数已知的论文将此类数据结构视为原始数据。也就是说,它们添加了新的原始类型构造函数并为记录和对象提供了支持公理。这种方法并不令人满意。首先,它使类型理论非常复杂。其次,不容易取消新公理的有效性。正如我们将看到的,即使在最简单的情况下,公理的天真选择也会导致矛盾。我们将展示可以用足够强大的类型理论来定义记录和对象。我们还将展示如何使用这些类型构造函数来定义抽象数据结构。

著录项

  • 作者

    Kopylov Alexei;

  • 作者单位
  • 年度 2004
  • 总页数
  • 原文格式 PDF
  • 正文语种 en_US
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号