每一种编程语言都有一个执行模型，该模型确定工作单元(由程序语法指示)的执行方式。操作语义是一种指定语言执行模型的方法。运行程序的观察到的行为必须与从操作语义派生的行为相匹配(操作语义定义语言的执行模型)。执行模型涵盖的内容包括什么是不可分割的工作单元，以及对这些工作单元可能发生的顺序的限制。例如，加法操作在许多语言中是一个不可分割的工作单元，而在顺序语言中，这种工作单元被限制一个接一个地进行。
编程语言</e
浏览 0提问于2021-02-03得票数 0
4回答
用于语义分析的语言？
、、、
背景：-存在用于表达编程语言有效词典和语法的正式语言-这些表示(例如正则表达式和上下文无关语法)可以使用一些工具(例如LEX和YACC)自动编译到某些编程语言的词典/语法分析器中。问题：-有这样的正式语言来定义编程语言语义吗？-有编译器可以基于这些正式语言自动生成语义分析器的代码吗？-关于源代码语义分析有什么可读的资源吗？备注：-你可能会发现我的问题不现实，这是ok…我是
浏览 7提问于2009-09-13得票数 3
回答已采纳
看完这些书后
J.D. Ullman，ML编程的元素
我有一些问题..。我不明白某些行的意思，我也有一些问题。这意味着什么?什么是“可执行规范”？(1) SML中的可执行语言语义规范作为语言实现的快速原型。(3)推理语义在
浏览 5提问于2013-05-12得票数 1
有许多编程语言，如PythonandF#，它们为前导空间指定了语义意义，这样如果一行代码删除了前导空格，它就可以中断整个程序。(假设我排除了仅为空间的语言，例如
浏览 0提问于2020-06-16得票数 2
我正在读的第一本书说：
1“解析、翻译和编译的理论”，第1卷，Aho和Ullman著，第58页。
浏览 11提问于2022-05-21得票数 0
回答已采纳
是否存在图灵完整编程语言，对于一个固定的字母表(例如，ASCII)，这些字符的每一个可能的排列都是一个语义上有效的程序，能够执行吗？
我们认为无限循环在语义上也是有效的。我知道一些数据格式，比如Markdown，具有普遍的语义有效性(每个输入都是有效的)，但是我不能直接想到一种具有这种属性的编程语言。
浏览 0提问于2018-12-24得票数 16
4回答
我从一些关于一般编程概念的文章中读到。我被告知，“语法是规范语言中有效语句构造的正式规则”，而“语义是赋予语言陈述意义的规则集”。从语义的定义上，我觉得它与逻辑相似，如果不是，那么我想知道逻辑错误和语义错误之间的区别。
浏览 22提问于2015-03-13得票数 10
3回答
因此，有复制语义，移动语义，也许更多的语义，我不知道。我读过关于这两种语言的文章，但我对“语义”还没有一个很好的定义。顾名思义，移动语义与移动事物有关，但是为什么它被称为move 语义呢？更清晰的版本:在编程环境中语义的含义是什么？示例:移动和复制语义。
浏览 1提问于2017-07-05得票数 13
回答已采纳
对于出现在或等学术会议上的语言，通常会很好地指定语言的语义(以或语义的形式)。我试图为流行的语言(例如，C、Python、JavaScript)找到文档化的语义，但是没有找到。当开发具有“重”特性的语言(相对作为概念证明而设计的语言)时，这些语言的设计者(或委员会成员)是否会在不指定其语义的情况下添加特性？大多数流行的编程语言都是这种情况吗？如果是这样的话，我认为这实际上是有意义的
浏览 31提问于2019-01-18得票数 1
2回答
我发现的不同之处是：
然而，维基百科将其称为一种方法，而不是一种数学表达式。摘要表示语义学是一种通过构造描述语言表达式意义的数学对象(称为表示)来形式化编程语言意义的方法。
浏览 23提问于2016-07-20得票数 3
回答已采纳
在函数式编程中，我了解到懒惰评估和急切的评估会产生相同的结果(编程语言:应用程序和解释手册)。因此，可以在不产生意外结果的情况下更改计算语义。但是，在像JavaScript这样的非功能和工业编程语言中，我不认为这两种语义都会产生结果。此外，在函数式编程中，如果函数f(x)返回一个取决于例如CPU温度的值，我们也可能会有不同的结果。
那么，懒惰和急切的评估会产生不同的结果吗？即使在函数式编程语言中。
浏览 0提问于2019-02-18得票数 0
在程序设计语言的语义理论中，语义是对程序设计语言的意义进行严格的数学研究的领域。它是通过评估由特定编程语言定义的语法法律字符串的含义来实现的，并显示了所涉及的计算。
浏览 0提问于2017-09-01得票数 -1
3回答
很久很久以前，我收到了某人的来信我想否认这一点--我要说的是，除了语法之外，还有其他一些基本的方面可以真正地将语言与其他语言区分开来。面向对象
方法/操作符重载(我实际上看到这与语法相关
浏览 0提问于2012-11-01得票数 3
回答已采纳
1回答
我正在寻找一个Java库，它允许对OOP编程语言的源元素建模，并对它们执行解析后的语义分析。我打算用它来玩，通过实现转换编译器。
浏览 0提问于2017-10-13得票数 0
当我读到系统编程时，我发现了语义鸿沟，以及我们如何为更好的软件开发搭建桥梁。 然后出现了编程语言领域这一术语，它显然弥合了语义鸿沟，但同时也填补了规范和执行的鸿沟。
浏览 25提问于2021-02-02得票数 1
回答已采纳
1回答
在阅读有关计算机科学和编程语言的论文时，我经常在术语、表示语义和操作语义上绊脚石。有时，但很少，我也找到了公理。虽然我知道什么是语义，但我不知道这三个- what之间的区别是实际的分类吗？
浏览 6提问于2021-03-25得票数 2
我在网上查看了Pascal编程语言的词汇错误，但我不知道是词汇错误还是语义错误。例如："+-", "<>", ";;"或类似的东西。
浏览 2提问于2013-11-08得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
