首页> 外文OA文献 >Compile-time type-checking for custom type qualifiers in Java

【2h】

Compile-time type-checking for custom type qualifiers in Java

机译：Java中自定义类型限定符的编译时类型检查

页面导航

著录项
相似文献
相关主题

著录项

作者
Matthew M. Papi; Michael D. Ernst;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance [J] . AndreasAbel, ThierryCoquand, MiguelPagano Logical Methods in Computer Science . 2011,第2期

机译：具有单例类型和证明不相关性的类型理论的模块化类型检查算法
2. Incremental type-checking for type-reflective metaprograms [J] . Miao Weiyu, Siek Jeremy G. ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第2期

机译：类型反射型元程序的增量类型检查
3. Type-checking injective pure type systems [J] . GILLES BARTHE Journal of Functional Programming . 1999,第期

机译：类型检查内射纯类型系统
4. Compile-time type-checking for custom type qualifiers in java [C] . Matt M. Papi, Mahmood Ali, Michael D. Ernst ACM SIGPLAN conference on Object oriented programming systems languages and applications . 2008

机译：Java中自定义类型限定符的编译时类型检查
5. Well-definedness, semantic type-checking, and type inference for database query languages. [D] . Vansummeren, Stijn. 2005

机译：数据库查询语言的定义明确，语义类型检查和类型推断。
6. A Java Language Program for Writing Clinical Cases Using Custom Extensions to HTML [O] . Alan E. Zuckerman, Louis B. Jacques 1996

机译：使用自定义HTML扩展编写临床病例的Java语言程序
7. Compile-time type-checking for custom type qualifiers in Java [O] . Matthew M. Papi, Mahmood Ali, Telmo Luis, 2007

机译：Java中自定义类型限定符的编译时类型检查

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号