compiler-construction 相关问题

标记编译器构造应该应用于有关编译器编程的问题或有关编译器详细内部工作的问题。请勿使用*使用*特定编译器或编译错误的问题。

如何正式验证编译器（前端和/或后端）？

对于我即将开始的项目，我正在探索编译器的形式验证。我遇到了 CompCert C 编译器，它是 ACM 授予的、经过正式验证的 C 编译器。当我进一步阅读...

compiler-construction coq theorem-proving formal-verification compcert

回答 1 投票 0

始终在调试模式下构建的 VB 项目

我今天遇到一个问题，VB 的行为与 C# 不同。问题如下。另请注意，这是针对 .Net 4.0 的。这两个项目都设置为以发布模式构建这两个项目都在...

vb.net debugging compiler-construction release pdb-files

回答 0 投票 0

Gtkmm 编译错误

操作系统：Windows 7 编译器：MinGW IDE：代码：：块我刚刚在我的计算机上的文件夹 C:/gtkmm/ 中安装了 Gtkmm 并设置了一个示例程序。当我编译它时，它给出了错误“gtkmm.h: No such

c++ compiler-construction mingw gtkmm

回答 3 投票 0

当用户发现并修复了一些错误或错误时，Java 编译器或解释器是否会再次从代码的开头开始？ [关闭]

当用户发现并修复了一些错误或错误时，编译器或解释器是否再次从代码的开头开始？或者它是否从发现错误和编译器的地方继续......

java compiler-construction interpreter

回答 0 投票 0

带有 Rust 的窥视孔装配说明模式匹配窗口的更好方式？

所以我正在尝试实现窥孔优化，从 Vec -> Vec 开始，优化返回列表。（LL 为低电平）我们的

assembly rust compiler-construction compiler-optimization peephole-optimization

回答 2 投票 0

Menhir 中的规则优先级

我写了一个 C 的子集，关于指针数组的声明有一点模棱两可的语法。事实上，像这样的声明整数*A[10]；可以看作是点数组...

parsing compiler-construction ocaml bison menhir

回答 1 投票 0

从 Cranelift 生成的代码调用 malloc 或 puts 时出现段错误

我正在研究一种使用 cranelift 编译的小型编程语言。现在，每当我调用 malloc 甚至 put 时，我生成的代码都会出现段错误。我将专注于 malloc 的一个小例子：我要的代码...

c assembly segmentation-fault compiler-construction wasmtime

回答 0 投票 0

ARMv7 汇编器无故合并两个常量字符串

我有以下 ARMv7 代码： .section .text .global 主要主要的： ldr r1, =str1 // 只加载第一个字符串 ldr r2, =_len0 // 加载str1的长度 mov r0, #1 // s...

gcc arm compiler-construction armv7

回答 0 投票 0

无法访问的代码编译器错误[重复]

下面的代码给出了一个unreachable statement编译报错 public static void main(String[] args) { 返回; System.out.println("不可达"); } 有时出于测试目的，wan ...

java compiler-construction

回答 7 投票 0

如果值为 NULL，为什么可为空的 int（int？）不会通过“+=”增加值？

我有一个 int 类型的页面计数器？： spot.ViewCount += 1; 仅当 ViewCount 属性的值不为 NULL（任何 int）时它才有效。为什么编译器会这样做？我将不胜感激任何解决方案。

c# compiler-construction operators nullable

回答 4 投票 0

如何在听 Antlr4 语法时匹配标记？

我一直在研究基于别人写的非常大的语法的语言实现。我正在使用 Antlr 4.12 并以 C# 为目标。一切都很顺利，我取得了很多进步......

c# compiler-construction antlr antlr4 abstract-syntax-tree

回答 1 投票 0

关于现代编译器技术和 LSP 支持的书籍

我刚刚看了这段由 Anders Hejlsberg 主演的视频： https://learn.microsoft.com/en-us/shows/Seth-Juarez/Anders-Hejlsberg-on-Modern-Compiler-Construction 他谈到了

compiler-construction language-server-protocol

回答 0 投票 0

如何使用 llvm api for c++ 访问函数中的指针

出于某种目的，我想正确使用一种专用语言。基本上它将是一堆我将从 C 代码调用的函数。我需要将这些函数指针传递给某个结构。我不想解释...

c++ compiler-construction llvm clang++

回答 0 投票 0

如何找到我当前的编译器标准，比如它是 C90 等

我在 Linux 机器上工作。是否有任何系统命令可以找到我正在使用的 C 编译器所遵循的标准？

c compiler-construction c99 c89

回答 7 投票 0

解决减少-减少冲突

以下是我写的语法部分，在这里，您可以看到如果找到令牌 PUBLIC_KEYWORD 将会减少/减少冲突，因为它有两个规则（ constant_modifie ...

parsing compiler-construction grammar bison flex-lexer

回答 0 投票 0

如何在 Windows 上下载最新的 GCC 12.2

我遵循了一个月前在 Youtube 上可以找到的最新编译器安装教程。在我检查在命令提示符下下载的版本之前，它工作得非常好。这是过时的...

c++ gcc compiler-construction

回答 0 投票 0

Maven compiler plugin error compiling !!在执行 mvn package 或 mvn clean install 时

我从github上克隆了一个项目，使用java 8，spring boot，mysql制作的项目所以我做的第一件事是在 intellij 中配置 jdk，我有 openjdk 17 和 15，所以我选择了 v15，我...

java maven intellij-idea compiler-construction

回答 0 投票 0

是否可以配置 C++ 编译器来寻找另一个字符串文字标识符？

现在是 2023 年，我认为在文本和其他语言（如标记）中如此常见的字符串标识符很愚蠢。 C++ 使用这个符号：“ 表示开始...

c++ compiler-construction

回答 1 投票 0

有没有办法将 web assembly 格式（.wasm）提升为 llvm？

我们正在构建一个基于llvm的静态分析工具，并希望支持JS，一种方法是将JS文件直接编译为llvm，另一种方法是将JS文件转换为.wasm fi ...

javascript compiler-construction llvm webassembly decompiler

回答 0 投票 0

从GitHub克隆的Svelte使用编译器。

我知道这条信息可能听起来很愚蠢。但我正试着用GitHub上的Svelte编译器玩一玩，https:/github.comsveltejssvelte。我克隆并安装了所有的东西，就像在...

github compiler-construction open-source svelte svelte-3

回答 1 投票 0

compiler-construction 相关问题

最新问题