首页> 外文OA文献 >A simple typed intermediate language for object-oriented languages

【2h】

A simple typed intermediate language for object-oriented languages

机译：一种面向对象语言的简单类型的中间语言

页面导航

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

著录项

作者
Juan Chen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Simple typed intermediate language for object-oriented languages [J] . Chen J, Tarditi D ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2005,第1期

机译：用于面向对象语言的简单类型的中间语言
2. Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages [J] . Ole Agesen, Urs Holzle ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1995,第10期

机译：类型反馈与具体类型推断：面向对象语言的优化技术比较
3. LJGS: Gradual Security Types for Object-Oriented Languages [J] . Luminous Fennell, Peter Thiemann LIPIcs : Leibniz International Proceedings in Informatics . 2016,第1期

机译：LJGS：面向对象语言的渐进安全性类型
4. A simple typed intermediate language for object-oriented languages [C] . Juan Chen, David Tarditi ACM SIGPLAN-SIGACT symposium on Principles of programming languages . 2005

机译：一种面向对象语言的简单类型的中间语言
5. Type systems for object-oriented intermediate languages. [D] . Freund, Stephen Neil. 2000

机译：面向对象的中间语言的类型系统。
6. Semantic framework for mapping object-oriented model to semantic web languages [O] . Petr Ježek, Roman Mouček 2015

机译：用于将面向对象的模型映射到语义Web语言的语义框架
7. Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages [O] . Bruce Kim B., Vanderwaart Joseph C. 1999

机译：语义驱动的语言设计：面向对象语言中的静态类型安全虚拟类型

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号