今天我突然意识到，虽然我在引用语言元素和命名约定时采用了“语义”这个术语，而且并不少见，但我对正式的定义没有任何意义。不过，这个定义是我自己的想法。是否有一个更准确的定义，可以归结为一两条陈述，而不是一篇详尽而令人筋疲力尽的文章？
浏览 5提问于2010-07-19得票数 9
回答已采纳
1回答
是解释器/编译器还是语言结构(函数、语法元素等)？还是别的什么东西？
我不是php的专家，也没有计算机科学，所以我很难真正理解.
浏览 2提问于2014-06-11得票数 0
回答已采纳
4回答
当我试图将编程语言看作一种带有语义的正式语言时，我听说编程语言是一组有效的程序(根据语言的语法和其他方面来说是有效的)。当我阅读Tanenbum的结构化计算机组织时，我明白编程语言是一组指令，每台机器都有一种机器语言，由机器可以执行的所有指令组成。
所以我想知道一种编程语言是一组程序还是一组指令？谢谢。
浏览 0提问于2015-02-08得票数 5
对于出现在或等学术会议上的语言，通常会很好地指定语言的语义(以或语义的形式)。我试图为流行的语言(例如，C、Python、JavaScript)找到文档化的语义，但是没有找到。当开发具有“重”特性的语言(相对作为概念证明而设计的语言)时，这些语言的设计者(或委员会成员)是否会在不指定其语义的情况下添加特性？大多数流行的编程语言都是这种情况吗？如果是这样的话，我认为这实际上是有意义的
浏览 31提问于2019-01-18得票数 1
程序员所做的是将执行模型应用于代码，这将导致代码的行为。每一种编程语言都有一个执行模型，该模型确定工作单元(由程序语法指示)的执行方式。操作语义是一种指定语言执行模型的方法。运行程序的观察到的行为必须与从操作语义派生的行为相匹配(操作语义定义语言的执行模型)。执行模型涵盖的内容包括什么是不可分割的工作单元，以及对这些工作单元可能发生的顺序的限制。例如，加法操作在许多语言中是一个不可分割的工作单元，而在顺序语言
浏览 0提问于2021-02-03得票数 0
1回答
正如Brian指出的那样，这两个元素当然都应该用于预先格式化的代码)这将是在标记中以语义一致的方式包含的有用信息。规范本身并没有明确提到“自然”和“编程”语言。相反，它将读者推荐到，它(再次)声明：
语言标签被用来帮助识别语言..。但不包括主要用于人类交流的语言，例如编程
浏览 3提问于2011-02-27得票数 22
回答已采纳
我过去常把数组看作按索引排序的项的集合，其中这些索引是整数…。我承认，我对“数组”的定义受到了其他“非符号”编程语言的强烈影响。在这些语言中，数组“映射”到计算机内存的某个连续区域。因此，使用整数作为索引是很自然的，因为整数是可数的。然而，实数是不可数的。
显然，maxima似乎对“数组”一词有不同的定义:确切的定义是什么？(文档没有定义它，至少在中没有介绍性段落)
浏览 1提问于2015-04-28得票数 3
回答已采纳
6回答
作为程序员，我们可以很容易地观察到，在任何编程语言中，for循环或数组都是for循环或数组。一旦你学习了这个概念，你就不需要重新学习它，确定语法是不同的，但是没有花费任何的精力去重新学习这个概念。W3C DOM是一个跨语言库的示例，它应该具有相同的函数名和相同的语义，而不管编程语言如何。W3C DOM很难使用，但至少一旦您在一种语言/平台中学习了它，在其他语言/平台中也是一样的。
浏览 14提问于2011-10-04得票数 11
6回答
我在队友之间进行了一次简短的交谈，讨论了如何选择一种编程语言用于一个项目，这让我认为在项目开始时有很多标准可以选择一种，但没有真正的标准。当你要做一个项目时，你用什么标准来选择一种语言？
浏览 0提问于2011-04-04得票数 8
回答已采纳
也就是说，当变量名第一次出现在它的作用域时，我希望它有一个不同的颜色。这通常是JavaScript中使用关键字"let“或"var”的地方。我将如何将这个添加到VSCode中呢？
浏览 0提问于2018-09-17得票数 1
回答已采纳
尝试/实现一个新的编程范例或现有语言中找不到的新特性组合。创建一种用于编程教学的语言。
创建一种解决特定类问题(例如并发性)的语言。为一个特殊的应用领域创建一种语言和一个API，例如web (在这种情况下，该语言可能重用一个众所周知的范例，但整个API必须是新的)。在我的直觉中，这意味着语言已经达到(至少一个)它
浏览 0提问于2012-11-10得票数 9
回答已采纳
3回答
很久很久以前，我收到了某人的来信我想否认这一点--我要说的是，除了语法之外，还有其他一些基本的方面可以真正地将语言与其他语言区分开来。面向对象垃圾收集(虽然这似乎是一个很好的区别，但出于某
浏览 0提问于2012-11-01得票数 3
回答已采纳
4回答
我正在读一篇非常愚蠢的论文，它一直在谈论Giotto如何定义一个“形式语义”。
Giotto有一个形式语义，它指定模式切换、任务间通信和与程序环境的通信的含义。我处于边缘，只是不能完全理解“形式语义学”是什么意思。
浏览 5提问于2010-02-28得票数 8
回答已采纳
3回答
偏执程序是一个程序，它只接受与其本身语义等价的程序源代码。一个黑帮成员就在中间。特别是，我们将把一个组定义为一组程序G，它可能在同一种编程语言中，也可能不在同一种编程语言中，这样，每个程序在执行时都只接受其组中的成员，并拒绝所有其他程序(因为它们都做相同的事情，这意味着语义上等效)帮派成员是帮派的一部分，它接受的一组程序就是它的帮派。
所以，一个自恋者计划是一个1级的帮派，而一类偏执狂是一个最大规模
浏览 0提问于2017-06-01得票数 6
1回答
在阅读有关计算机科学和编程语言的论文时，我经常在术语、表示语义和操作语义上绊脚石。有时，但很少，我也找到了公理。虽然我知道什么是语义，但我不知道这三个- what之间的区别是实际的分类吗？
浏览 6提问于2021-03-25得票数 2
ISTM认为编程语言由两件事定义:它的编译器或解释器，它通过fiat定义语言的语法和语义；以及它的标准库，它在很大程度上定义了熟练用户在用该语言编写代码时将使用的习惯用法和技术。除了一些特殊的例外(例如，.NET家族的非C#成员)，大多数语言的标准库都是用这种语言编写的，原因有两个:因为它将共享相同的语法定义、函数调用约定和该<
浏览 2提问于2010-04-19得票数 25
回答已采纳
4回答
用于语义分析的语言？
、、、
背景：-存在用于表达编程语言有效词典和语法的正式语言-这些表示(例如正则表达式和上下文无关语法)可以使用一些工具(例如LEX和YACC)自动编译到某些编程语言的词典/语法分析器中。问题：-有这样的正式语言来定义编程语言语义吗？-有编译器可以基于这些正式语言自动生成语义分析器的代码吗？-关于源代码语义分析有什么可读的资源吗？备注：-你可能
浏览 7提问于2009-09-13得票数 3
回答已采纳
8回答
出于语义方面的原因，我一直在尝试编写一个Lisp宏，它的性能相当于其他编程语言中的++。我尝试过几种不同的方法，但似乎都不起作用，而且都被解释器接受，所以我不知道我的语法是否正确。我对如何定义它的想法是 (incf variable))
但是当我尝试使用它时，这会给我一个简单的类型错误。什么能让它工作呢？
浏览 1提问于2008-09-15得票数 6
回答已采纳
3回答
Java注解是否应该被视为一种语言或库功能。我指的不是注解的概念，它显然是一种语言功能，但具体的注解，如@Override和@Deprecated？似乎更清楚的是，只有第三方库支持的批注(例如Hibernate批注)显然不是Java语言的一部分，但对于内置批注，我就不那么确定了。
浏览 0提问于2011-09-16得票数 4
回答已采纳
云服务器
对象存储
ICP备案
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号