首页> 美国政府科技报告 >Program Design With Abstract Data Types.

【24h】

Program Design With Abstract Data Types.

机译：程序设计与抽象数据类型。

获取原文

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Flon, L.;
展开▼
作者单位

展开▼
年度 1975
页码 1-37
总页数 37
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programming; Compilers; Recursive functions; Algorithms; Logic design; Structured programming; Operating systems(Computers);

机译：计算机编程;编译器;递归函数;算法;逻辑设计;结构化编程;操作系统（计算机）;

相似文献

外文文献
中文文献
专利

1. Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday [J] . Philip Wadler Journal of Universal Computer Science . 2017,第1期

机译：没有类型的抽象数据类型。献给大卫·特纳（David Turner）70岁生日
2. Reaching an AIDS-Free Generation in Cote d'Ivoire, Data Driven Policy Design for HIV/AIDS Response Programs: Evidence-Based Policy Design for HIV/AIDS Response Programs in Cote d'Ivoire [J] . Paulo Goncalves, Simplice Takoubo Kamdem International Journal of System Dynamics Applications: An official publication of the Information Resources Management Association . 2016,第1期

机译：在科特迪瓦实现无艾滋病一代，艾滋病毒/艾滋病应对方案的数据驱动政策设计：科特迪瓦艾滋病毒/艾滋病应对方案的循证政策设计
3. The abstract state machines method for modular design and analysis of programming languages [J] . Borger Egon Journal of logic and computation . 2017,第2期

机译：模块化设计和编程语言分析的抽象状态机方法
4. Maintaining XML Data Integrity in Programs An Abstract Datatype Approach [C] . Patrick Michel, Arnd Poetzsch-Heffter SOFSEM 2010: Theory and practice of computer science . 2010

机译：在程序中维护XML数据完整性的一种抽象数据类型方法
5. Complexity aspects of programming language design: From logspace to elementary time via proofnets and intersection types. [D] . Moller Neergaard, Peter. 2004

机译：编程语言设计的复杂性方面：通过证明网和交集类型，从日志空间到基本时间。
6. Scientific Demonstration Abstracts. Demonstration Abstracts: Integrated Health Center Information Systems: ClinQuery: A Program to Search Bostons Beth Israel Hospitals Large Clinical Database for Patient Care and Clinical Research [O] . Charles Safran, François Herrmann 1990

机译：科学示范文摘。演示摘要：集成式健康中心信息系统：ClinQuery：一个用于搜索波士顿贝思以色列医院大型临床数据库的程序用于患者护理和临床研究
7. Evaluating the Conditions for Robust Mechanism Design Abstract: We assess the strength of the different conditions identified in the literature of robust mechanism design. We focus on three conditions: ex post incentive compatibility, robust monotonicity, and robust measurability. Ex post incentive compatibility has been shown to be necessary for any concept of robust implementation, while robust monotonicity and robust measurability have been shown to be necessary for robust (full) exact and virtual implementation, respectively. This paper shows that while violations of ex post incentive compatibility and robust monotonicity do not easily go away, we identify a mild condition on environments in which robust measurability is satisfied by all social choice functions over an open and dense subset of first-order types. We conclude that there is a precise sense in which robust virtual implementation can be significantly more permissive than robust exact implementation. [O] . Takashi Kunimoto, Roberto Serrano 100

机译：评估鲁棒机构设计的条件摘要：我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件：事后激励兼容性，强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的，而稳健单调性和鲁棒可测量性已被证明分别对于健壮（完全）精确和虚拟实现是必要的。本文表明，虽然违反事后激励兼容性和强健单调性的行为不容易消失，但我们在环境中确定了一个温和的条件，在这些环境中，所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论，确切地说，健壮的虚拟实现可以比强大的精确实现更加宽松。
8. An Example of Programming with Abstract Data Types. [R] . Dennis, J. B. 1975

机译：用抽象数据类型编程的一个例子。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号