首页> 外文OA文献 >Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership

【2h】

Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership

机译：类型系统的操作方面：对象所有权的类型检查和渐变类型的可互派语义

代理获取

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

页面导航

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

摘要

nrpages: 262

机译：页数：262

著录项

作者
Sergey Ilya;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 nl
中图分类

相似文献

外文文献
中文文献
专利

1. Existence dependency: The key to semantic integrity between structural and behavioral aspects of object types [J] . Snoeck M., Dedene G. IEEE Transactions on Software Engineering . 1998,第4期

机译：存在依赖性：对象类型的结构和行为方面之间语义完整性的关键
2. Existence dependency: The key to semantic integrity betweenstructural and behavioral aspects of object types [J] . Snoeck M., Dedene G. IEEE Transactions on Software Engineering . 1998,第4期

机译：存在依赖性：对象类型的结构和行为方面之间语义完整性的关键
3. Concept for FMC Integrated System of Object-Driven Type and Its Operational Simulation [J] . Shin’ichi WARISAWA, Takashi KAKIUCHI, Yoshimi ITO 日本機械学会論文集. C編 . 1999,第635期

机译：对象驱动型FMC集成系统的概念及其运行仿真
4. Type Equivalence Checking in Persistent Object Systems [C] . International workshop on persistent object systems . 1991

机译：在持久对象系统中键入等效性检查
5. Well-definedness, semantic type-checking, and type inference for database query languages. [D] . Vansummeren, Stijn. 2005

机译：数据库查询语言的定义明确，语义类型检查和类型推断。
6. How Do Object Shape Semantic Cues and Apparent Velocity Affect the Attribution of Intentionality to Figures With Different Types of Movements? [O] . Diego Morales-Bader, Ramón D. Castillo, Charlotte Olivares, 2020

机译：物体的形状语义线索和表观速度如何影响意图性对具有不同运动类型的人物的归因？
7. Theoretical aspects of object oriented programming: Types, semantics, and language design Edited by Carl A. Gunter and John C. Mitchell. MIT Press, Cambridge, MA. (1994). 546 pages. $45.00 [O] . 1995

机译：面向对象编程的理论方面：类型，语义和语言设计，由Carl A. Gunter和John C. Mitchell编辑。麻省理工学院出版社，马萨诸塞州剑桥。（1994）。 546页。 $ 45.00

Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅