首页> 外文OA文献 >Declaring and Checking Non-null Types in an Object-Oriented Language

【2h】

Declaring and Checking Non-null Types in an Object-Oriented Language

机译：以面向对象的语言声明和检查非空类型

页面导航

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

著录项

作者
Manuel Fähndrich; K. Rustan M. Leino;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Declaring and Checking Non-null Types in an Object-Oriented Language [J] . Manuel Fahndrich, K. Rustan M. Leino ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第11期

机译：以面向对象的语言声明和检查非空类型
2. I~+: A MULTIPARADIGM LANGUAGE FOR OBJECT-ORIENTED DECLARATIVE PROGRAMMING [J] . K. W. NG, C. K. LUK Computer Languages, Systems & Structures . 1995,第2期

机译：I〜+：面向对象的声明式编程的多范式语言
3. Language-independent look-ahead for checking multi-perspective declarative process models [J] . Kaeppel Martin, Ackermann Lars, Schoenig Stefan, Software and systems modeling . 2021,第5期

机译：用于检查多视角声明性流程模型的语言无关的展示
4. Declaring and Checking Non-null Types in an Object-Oriented Language [C] . Manuel Faehndrich, K. Rustan M. Leino ACM annual conference on object-oriented programming, systems, languages, and applications . 2003

机译：以面向对象语言声明和检查非空类型
5. Well-definedness, semantic type-checking, and type inference for database query languages. [D] . Vansummeren, Stijn. 2005

机译：数据库查询语言的定义明确，语义类型检查和类型推断。
6. Semantic framework for mapping object-oriented model to semantic web languages [O] . Petr Ježek, Roman Mouček 2015

机译：用于将面向对象的模型映射到语义Web语言的语义框架
7. A Denotational Approach for Type-Checking in Object-Oriented Programming Languages [O] . Roberto Ierusalimschy 1992

机译：面向对象程序设计语言中类型检验的一种指称方法
8. Design, Implementaion and Evaluation of a Declarative Object-Oriented Programming Language [R] . Socorro Ramos, A. J. 1993

机译：声明性面向对象程序设计语言的设计，实现与评估

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号