首页> 外文OA文献 >Natural Semantics for Imperative and Object-Oriented Programming Languages

【2h】

Natural Semantics for Imperative and Object-Oriented Programming Languages

机译：命令式和面向对象编程语言的自然语义

页面导航

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

著录项

作者
Sabine Glesner;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Semantic Subtyping for Imperative Object-Oriented Languages [J] . Ancona Davide, Corradi Andrea ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第10期

机译：命令式面向对象语言的语义子类型化
2. The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE [J] . Jin Zhi Journal of Computer Science & Technology . 1995,第1期

机译：面向对象逻辑编程语言：SCKE的结构和语义
3. Algebraic Semantics of an Imperative Programming Language [J] . A. V. Zamulin Programming and Computer Software . 2003,第6期

机译：命令式编程语言的代数语义
4. A Reversible Operational Semantics for Imperative Programming Languages [C] . Maribel Fernandez, Ian Mackie International Conference on Formal Engineering Methods . 2021

机译：一种可逆的操作语言，适用于命令编程语言
5. Graph Search as a Feature in Imperative/Procedural Programming Languages [D] . Henderson, Christopher George. 2018

机译：图表搜索作为必要/程序编程语言的功能
6. Semantic framework for mapping object-oriented model to semantic web languages [O] . Petr Ježek, Roman Mouček 2015

机译：用于将面向对象的模型映射到语义Web语言的语义框架
7. A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language [O] . Sivilotti Paul 1993

机译：面向对象语言中命令并行程序设计范例的经过验证的集成
8. Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. [R] . Sivilotti, P. 1993

机译：面向对象语言中命令式并行编程范式的验证集成。

Natural Semantics for Imperative and Object-Oriented Programming Languages

著录项

引文网络

相似文献

相关主题

期刊订阅