首页> 外文OA文献 >A Denotational Approach for Type-Checking in Object-Oriented Programming Languages

【2h】

A Denotational Approach for Type-Checking in Object-Oriented Programming Languages

机译：面向对象程序设计语言中类型检验的一种指称方法

页面导航

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

著录项

作者
Roberto Ierusalimschy;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A game-based approach to the teaching of object-oriented programming languages [J] . Jose Maria Rodriguez Corral, Anton Civit Balcells, Arturo Morgado Estevez, Computers & education . 2014,第apra期

机译：一种基于游戏的面向对象编程语言教学方法
2. Denotational semantics for programming languages, balanced quasi-metrics and fixed points [J] . J. RODRIGUEZ-LOPEZ, S. ROMAGUERA, O. VALERO International journal of computer mathematics . 2008,第3a4期

机译：编程语言，平衡准度量和不动点的指称语义
3. An Introduction to metric semantics: operational and denotational models for programming and specification languages [J] . van Breugel F. Theoretical computer science . 2001,第1a2期

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
4. Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications [C] . Prakash K. Muthukrishnan, Barrett R. Bryant Seminar on Current Trends in Theory and Practice of Informatics . 1997

机译：自动生成面向对象编程语言的并行编译器，来自表示语义规范
5. An Approach for Adding Type-Safe Static-Context Duck Typing to an Object-Oriented Programming Language. [D] . Pond, Kevin. 2010

机译：一种将类型安全的静态上下文鸭子键入添加到面向对象的编程语言的方法。
6. How to automatically turn patient experience free-text responses into actionable insights: a natural language programming (NLP) approach [O] . Simone A. Cammel, Marit S. De Vos, Daphne van Soest, 2020

机译：如何自动将患者的体验自由文本回复转化为可行的见解：自然语言编程（NLP）方法
7. Denotational semantics of a parallel object-oriented language [O] . America Pierre, de Bakker Jaco, Kok Joost N., 1989

机译：并行面向对象语言的指称语义
8. Denotational Semantics of a Parallel Object-Oriented Language [R] . America, P., Debakker, J., Kok, J. N., 1986

机译：并行面向对象语言的指称语义

A Denotational Approach for Type-Checking in Object-Oriented Programming Languages

著录项

引文网络

相似文献

相关主题

期刊订阅