首页> 外文OA文献 >Second-Order Principles in Specification Languages for Object-Oriented Programs

【2h】

Second-Order Principles in Specification Languages for Object-Oriented Programs

机译：面向对象程序规范语言中的二阶原理

页面导航

著录项
相似文献
相关主题

著录项

作者
Bernhard Beckert; Kerry Trentelman;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages [J] . Bracha Gilad, Ungar David ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015 ,第8Suppla期

机译：镜像：面向对象的编程语言的元级别设施的设计原理
2. Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages [J] . Bracha Gilad, Ungar David ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015 ,第8Suppla期

机译：镜像：面向对象的编程语言的元级别设施的设计原理
3. Mirrors: Design principles for meta-level facilities of object-oriented programming languages [J] . Bracha G, Ungar D ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004 ,第10期

机译：镜像：面向对象编程语言的元级别设施的设计原则
4. Second-Order Principles in Specification Languages for Object-Oriented Programs [C] . Bernhard Beckert, Kerry Trentelman International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM) . 2005

机译：面向对象程序的规范语言中的二阶原理
5. A Supervised Machine Learning Approach Using Object-Oriented Programming Principles [D] . Creps, Merl J. 2018

机译：一种使用对象编程原理的监督机器学习方法
6. Music Training Program: A Method Based on Language Development and Principles of Neuroscience to Optimize Speech and Language Skills in Hearing-Impaired Children [O] . Samaneh Sadat Dastgheib, Mina Riyassi, Maryam Anvari, 2013

机译：音乐训练计划：一种基于语言发展和神经科学原理的方法用于优化听力障碍儿童的言语和语言技能
7. An executable specification language for specification understanding in object-oriented specification reuse [O] . Shih-chien Chou, Jen-yen Chen, Chyan-goei Chug 2016

机译：一种可执行的规范语言，用于面向对象规范重用中的规范理解
8. Object-Oriented Program Specification For a Mobile Robot Motion Control Language [R] . Grim, C. J. 1993

机译：面向对象的移动机器人运动控制语言程序规范

Second-Order Principles in Specification Languages for Object-Oriented Programs

著录项

相似文献

相关主题

期刊订阅