首页> 外文OA文献 >Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages

【2h】

Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages

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

代理获取

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

页面导航

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

著录项

作者
Bruce Kim B.; Vanderwaart Joseph C.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language [J] . KIM B. BRUCE, ANGELA SCHUETT, ROBERT VAN GENT, ACM Transactions on Programming Languages and Systems . 2003,第2期

机译：PolyTOIL：一种类型安全的多态面向对象语言
2. Implementing Statically Typed Object-Oriented Programming Languages [J] . ROLAND DUCOURNAU ACM Computing Surveys . 2011,第3期

机译：实现静态类型的面向对象的编程语言
3. Closures for statically-typed object-oriented languages [J] . Guimaraes JD ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004,第8期

机译：静态类型的面向对象语言的闭包
4. The Implementation of a Persistent Type-Safe Object-Oriented Programming Language [C] . Sallabi Omar M., Harrison Chris, Innovations Conference on Innovations in Information Technologies . 2007

机译：实现持久的类型安全的面向对象的编程语言
5. An Approach for Adding Type-Safe Static-Context Duck Typing to an Object-Oriented Programming Language. [D] . Pond, Kevin. 2010

机译：一种将类型安全的静态上下文鸭子键入添加到面向对象的编程语言的方法。
6. Teaching computer interfacing with virtual instruments in an object-oriented language. [O] . M Gulotta 1995

机译：以面向对象的语言与虚拟仪器接口的教学计算机。
7. PolyTOIL: A type-safe polymorphic object-oriented language [O] . Kim B. Bruce, Adrian Fiech, Angela Schuett, 1995

机译：PolyTOIL：一种类型安全的多态面向对象语言

Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages

著录项

引文网络

相似文献

相关主题

期刊订阅