欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Compiler
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→项目) |
||
| 第8行： | 第8行： | ||
==项目== | ==项目== | ||
[[文件:GCC-logo.png|right|GCC]] [[文件:LLVM-logo.png|right|LLVM]] [[文件:roslyn-compiler.png|right|Roslyn Compiler]] | [[文件:GCC-logo.png|right|GCC]] [[文件:LLVM-logo.png|right|LLVM]] [[文件:roslyn-compiler.png|right|Roslyn Compiler]] | ||
| + | *[https://github.com/ksluckow/awesome-symbolic-execution Awesome Symbolic Execution] [[文件:awesome.png]] | ||
*[[GCC]] | *[[GCC]] | ||
*[[LLVM]] | *[[LLVM]] | ||
2022年6月10日 (五) 14:22的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Compiler Thanks, Wikipedia. |
编译器（Compiler）
目录 |
简介
项目
- Awesome Symbolic Execution
- GCC
- LLVM
- Clang
- Haskell GHC
- Roslyn The .NET Compiler Platform
- Babel
- Tiny C Compiler(TCC)
- Peachpie - the PHP 7 compiler and runtime for .NET and .NET Core
- IBM C 和 C++ 编译器 商业软件
- The Amsterdam Compiler Kit
书籍
- 《Compilers: Principles, Techniques, and Tools》 龙书
- 《龙书中文版：编译原理(第2版)》
- 《自制编译器》 贯穿编译、汇编、链接、加载的全过程！比龙书更具实践性！
图集
编译器
编译器
TVM
VTA
中间表示分类
链接
分享您的观点
