欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Compiler
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→项目) |
||
| 第7行： | 第7行： | ||
==项目== | ==项目== | ||
| − | [[文件:GCC-logo.png|right|GCC]] [[文件:LLVM-logo.png|right|LLVM]] [[文件: | + | [[文件:GCC-logo.png|right|GCC]] [[文件:LLVM-logo.png|right|LLVM]] [[文件:CMakeLogo.gif|right|CMake]] |
*[https://github.com/ksluckow/awesome-symbolic-execution Awesome Symbolic Execution] [[文件:awesome.png]] | *[https://github.com/ksluckow/awesome-symbolic-execution Awesome Symbolic Execution] [[文件:awesome.png]] | ||
*[[GCC]] | *[[GCC]] | ||
2022年10月17日 (一) 05:44的版本
|
您可以在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
- LFortran Modern interactive LLVM-based Fortran compiler
书籍
- 《Compilers: Principles, Techniques, and Tools》 龙书
- 《龙书中文版：编译原理(第2版)》
- 《自制编译器》 贯穿编译、汇编、链接、加载的全过程！比龙书更具实践性！
图集
编译器
编译器
TVM
VTA
中间表示分类
链接
分享您的观点
