- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
(我几天前开始使用 ANTLR 进行语言冒险。我对语言理论和编译器构造的了解非常有限。如果这不是一个有效的问题,请见谅。)
ANTLR 是一个 parser 生成器,具体来说,是一个 ALL(*)
解析器。根据here ,解析器是:
the part of a compiler that tries to make syntactic sense of the source code.
AFAIK 一个编译器应该由 5 个阶段组成:
所以 ANTLR 似乎只涵盖了 1 和 2。
因此,如果我想为一种针对 JVM 上的 Java 字节码的教育语言编写编译器。对于第 3-5 阶段,我还可以利用哪些其他工具?
为什么 ANTLR 只覆盖 1 和 2?我猜 4 和 5 被跳过了,因为它们对目标平台来说太具体了。但是为什么ANTLR会跳过3呢?
最佳答案
关于 ADD1:
ANTLR 执行 1) 和 2),因为这是为它定义的目标。作者认为您很乐意从头开始编写任何编译器的“其余部分”。
我同意,我们需要走得更远。有一个巨大的Life After Parsing .
如果您想要一个不仅仅处理解析的工具,您需要目标相应更大。
更通用的一类工具是 Program Transformation Systems (PTS) .这些工具允许你定义一个语法,就像 ANTLR 一样,并且会生成一个解析器,会自动从源代码为该语言构建抽象语法树,提供修改这些 AST 的方法(通常是“源到源”重写规则),最后漂亮地打印修改后的 AST 以产生等效的源代码输出。
许多 PTS 一次仅限于“一种”语言;您可以转换该语言,这不适用于代码生成。它们通常允许进行黑客攻击,您可以在其中构建两种语言(源语言和目标语言)的联合语法,然后您可以修改源语言中的 AST 以制作目标语言中的 AST。这确实允许代码生成,但联合语言的噱头造成了很多困惑。例如,如果您有一个“+”节点,它是源语言还是目标语言中的“+”节点?你肯定不想翻译两次。
我们的DMS Software Reengineering Toolkit将同时处理多种(包括“两种”)语言。您可以从源语言转换为目标语言,并漂亮地打印结果。因为源“+”节点与目标“+”节点不同,所以没有混淆。
通常 PST 只进行 AST 操作。您可以通过滥用重写规则将 AST“重写”为表示语义谓词结果的 bool 值来实现任意语义分析。这很尴尬。
DMS 通过属性文法提供语义分析,这是使用文法规则作为指南根据 AST 计算定义任意分析的方法。您可以通过这种方式轻松构建符号表、控制流图并进行典型类型检查。 DMS 还提供了跨控制流图进行数据流分析的方法。
使用各种语义分析,可以验证源程序是否有效,运行依赖于在源程序中“遥远”找到的信息的复杂转换,并针对“目标”语言提供优化转换。
如果您将目标语言定义为 IL,则可以进行源到 IL 的转换和优化。
定义一个是 JVM代码的IL并不是那么容易;毕竟,这是虚拟指令集的二进制表示。使用像 DMS 这样的 PTS,您可以定义一种目标语言,它是 JVM 指令的表面语法(例如,JVM 转储会产生什么),生成它,然后运行一个相当简单的后处理步骤将其转换为实际的 JVM 二进制代码。使用 DMS,您可以将该后处理步骤实现为针对 JVM 表面语法目标语言的 AST 上的属性语法计算。
[附注:DMS 可以通过 Java 前端获得。这包括额外的支持机制来解析和处理 JVM 二进制代码。这可用于实现后处理到 JVM 二进制步骤。或者,您可以自己滚动]。
DMS 作为工具的设计目标是涵盖语言翻译(“编译”是一种特殊情况)和程序分析等广泛的应用程序。它对应的野心更大,比ANTLR更大,也对应更强大。
关于compiler-construction - 除了 ANTLR,还有哪些工具可以帮助我创建针对 JVM 的小型语言?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41439438/
我有这个问题: 我们声称对 float 使用相等测试是不安全的,因为算术运算会引入舍入错误,这意味着两个应该相等的数字实际上并不相等。 对于这个程序,您应该选择一个数字 N,并编写一个程序来显示 1
为什么这个脚本的输出是 5 而不是 8 ? 我认为 -- 意味着 -1 两次。 var x = 0; var y = 10; while ( x
我现在可以从 cmd 窗口中执行的 FFmpeg 过程中读取最后一行。 使用脚本主机模型对象引用此源。 Private Sub Command1_Click() Dim oExec
使用 vlookup,当匹配发生时,我想从匹配发生的同一行显示工作表 2 中 C 列的值。我想出的公式从 C 列表 2 中获取值,但它从公式粘贴在表 3 上的行中获取,而不是从匹配发生的位置获取。 这
我在破译 WCF 跟踪文件时遇到了问题,我希望有人能帮助我确定管道中的哪个位置发生了延迟。 “Processing Message XX”的跟踪如下所示,在事件边界和传输到“Process Actio
我有四个表,USER、CONTACT、CONACT_TYPE 和 USER_CONTACT USER_CONTACT 存储用户具有填充虚拟数据的表的所有联系人如下 用户表 USER_ID(int)|
以下有什么作用? public static function find_by_sql($sql="") { global $database; $result_set = $data
我正在解决 JavaBat 问题并且对我的逻辑感到困惑。 这是任务: Given a day of the week encoded as 0=Sun, 1=Mon, 2=Tue, ...6=Sat,
我正在研究一些 Scala 代码,发现这种方法让我感到困惑。在匹配语句中,sublist@ 是什么?构造?它包含什么样的值(value)?当我打印它时,它与 tail 没有区别,但如果我用尾部替换它,
我正在使用以下代码自行缩放图像。代码很好,图像缩放也没有问题。 UIImage *originImg = img; size = newSize; if (originImg.size.width >
Instruments 无法在我的 iPad 和 iPhone 上启动。两者都已正确配置,我可以毫无问题地从 xcode 调试它们上的代码,但 Instruments 无法启动。 我听到的只是一声嘟嘟
我想用 iPhone 的 NSRegularExpression 类解析此文本: Uploaded652.81 GB 用于摘录上传和652.81文本。 最佳答案 虽然我确实认为 xml 解析器更适合解
我找到了 solution在 Stackoverflow 上,根据过滤器显示 HTML“li”元素(请参阅附件)。本质上基于 HTML 元素中定义的 css 类,它填充您可以从中选择的下拉列表。 我想
这是一个简单的问题,但我是在 SQL 2005 中形成 XML 的新手,但是用于形成如下所示表中的 XML 的最佳 FOR XML SQL 语句是什么? Column1 Column2 -
我在 www.enigmafest.com 有一个网站!您可以尝试打开它!我面临的问题是,在预加载器完成后,主页会出现,但其他菜单仍然需要很长时间才能加载,而且声音也至少需要 5 分钟! :( 我怎样
好吧,我正在尝试用 Haskell 来理解 IO,我想我应该编写一个处理网页的简短小应用程序来完成它。我被绊倒的代码片段是(向 bobince 表示歉意,但公平地说,我并不想在这里解析 HTML,只是
如何使用背景页面来突出显示网站上的某个关键字,无论网站是什么(谷歌浏览器扩展)?没有弹出窗口或任何东西,它只是在某人正在查看的网站上编辑关键字。我以前见过这样的,就是不明白怎么做!谢谢你的帮助。 最佳
我是 Javascript 新手,需要一些帮助。 先看图片: . 积分预测器应用程序。 基本上当用户通过单选按钮选择获胜团队时它应该在积分栏中为获胜队添加 10 分,并且并根据得分高的球队自动对表格进
这是我的情况 - 我要发送一份时事通讯,我试图做的是,当用户单击电子邮件中的链接时,它会重定向到我的网页,然后会弹出一个灯箱,显示视频。我无法在页面加载时触发灯箱,因为您可以在查看灯箱之前转到同一页面
我有这个代码。 ¿Cuanto es ? Ir 我想获取用户输入的“验证码”值。我尝试这个但行不通。有什么帮助吗? var campo = d
我是一名优秀的程序员,十分优秀!