欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/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版)》
- 《自制编译器》 贯穿编译、汇编、链接、加载的全过程!比龙书更具实践性!
图集
链接
分享您的观点