The role of explicit type management schemes in the implementation of abstract data types in Ada

机译：显式类型管理方案在Ada中抽象数据类型的实现中的作用

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

来源
《Proceedings of the Joint Ada conference Fifth national conference on Ada technology and Fourth Washington Ada Symposium》|1987年|P.133-141|共9页
会议地点 Arlington VA(US);Arlington VA(US)
作者
Larry Latour; Teledyne Brown;
展开▼
作者单位

University of Maine, Orono, Maine;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Direct implementation of abstract data types from abstract specifications [J] . Belkhouche Boumediene, Urban Joseph E. Software Engineering, IEEE Transactions on . 1986,第5期

机译：从抽象规范直接实现抽象数据类型
2. THE FORMAL SPECIFICATION OF ABSTRACT DATA TYPES AND THEIR IMPLEMENTATION IN FORTRAN 90 - IMPLEMENTATION ISSUES CONCERNING THE USE OF POINTERS [J] . Maley D., Schreiner EW., Scott NS., Computer physics communications . 1996,第1a2期

机译：抽象数据类型的形式化规范及其在FORTRAN 90中的实现-有关指针使用的实现问题
3. Improved time bounds for linearizable implementations of abstract data types [J] . Wang Jiaqi, Talmage Edward, Lee Hyunyoung, Information and computation . 2018,第DECa期

机译：改进了抽象数据类型的线性化实现的时间范围
4. Component Based Library Implementation of Abstract Data Types for Resource Management Customization of Embedded Systems [C] . Baloukas C., Papadopoulos L., Mamagkakis S., IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia . 2007

机译：基于组件的嵌入式系统资源管理自定义的抽象数据类型的图书馆实现
5. Design and implementation of discrete Type 1 and Type 2 controllers with residual feedback for modal adaptive optics. [D] . Hampton, Peter John. 2006

机译：具有模态自适应光学器件残差反馈的离散类型1和类型2控制器的设计和实现。
6. SAT-051 Effects of Testosterone Replacement on Glycemic Control and Other Cardiovascular Risk Factors in Hypogonadal Men with Uncontrolled Type 2 Diabetes (Stride Study): Design Implementation and Baseline Data [O] . Preethi Mohan Rao, Enis Mumdzic, Daniel Marcus Kelly, 2020

机译：SAT-051睾酮替代对血糖控制的影响以及不受控制的2型糖尿病（步伐）：设计实施和基线数据的低因素男性的血管危险因素
7. An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications [O] . Víırseda Rafael del Vado, Morente Fernando Pérez 2012

机译：从形式代数规范验证抽象数据类型实现的创新教学工具
8. The Design and Implementation of a Database Management System Using Abstract Data Type [R] . Baroody, A. J., DeWitt, D. J. 1979

机译：基于抽象数据类型的数据库管理系统的设计与实现

The role of explicit type management schemes in the implementation of abstract data types in Ada

著录项

相似文献

相关主题

期刊订阅