The Varieties of Programming Language Semantics

机译：编程语言语言的品种

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

It may seem that there are almost as many varieties of programming language semantics as there are of programming languages. This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.

机译：似乎几乎存在多种编程语言语义，因为有编程语言。这简要概述调查语义的主要品种，并考虑哪一个可能是最合适的。

著录项

来源
《IFIP International Conference on Theoretical Computer Science》|2000年||共5页
会议地点
作者
Peter D. Mosses;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP3-53;
关键词

相似文献

外文文献
中文文献
专利

1. Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) [J] . Hongseok Yang LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：概率编程语言中的一些语义问题（特邀演讲）
2. Kripke semantics for higher-order type theory applied to constraint logic programming languages [J] . Lipton James, Nieva Susana Theoretical computer science . 2018,第期

机译：Kripke语义对于高阶类型理论应用于约束逻辑编程语言
3. Semantics of programming languages: Using Asf+Sdf [J] . Peter D. Mosses Science of Computer Programming . 2015,第pta1期

机译：编程语言的语义：使用Asf + Sdf
4. The Varieties of Programming Language Semantics And Their Uses [C] . Peter D. Mosses Perspectives of System Informatics . 2001

机译：编程语言语义的多样性及其用途
5. THE SEMANTICS OF SHARED VARIABLES IN PARALLEL PROGRAMMING LANGUAGES [D] . SHULMAN, NORMAN VICTOR 1986

机译：并行编程语言中共享变量的语义
6. The Effects of Bilingual Language Proficiency on Recall Accuracy and Semantic Clustering in Free Recall Output: Evidence for Shared Semantic Associations Across Languages [O] . Wendy S. Francis, Randolph S. Taylor, Marisela Gutiérrez, -1

机译：双语能力对自由召回输出中的召回准确性和语义聚类的影响：跨语言共享语义关联的证据
7. The Varieties of Programming Language Semantics [O] . Peter D. Mosses 2000

机译：编程语言语言的品种

The Varieties of Programming Language Semantics

摘要

著录项

相似文献

相关主题

期刊订阅