Compiler

• A compiler and an interpreter usually consist of two parts:
  • a lexical analyzer
  • and a parser.
    • Wikipedia / Comparison of parser generators
    • Usually the language to be parsed conforms to the rules of some grammar.
      • This is Grammar For Robots. What? Why? 🤖
• Your Program as a Transpiler: Applying Compiler Design to Everyday Programming by Edoardo Vacchi
  • YouTube
    • Devoxx
    • InfoQ Brasil
• wiki.c2.com/?TranslatorPattern
• Programming Utilities Guide
  • Lexical Analysis
  • yacc -- A Compiler Compiler
  • m4 Macro Processor
• Grammar: The language of languages (BNF, EBNF, ABNF and more)
• GCC MELT is a high-level domain specific language for extending or customizing the Gnu Compiler Collection (i.e. gcc, g++, gfortran, gnat, gccgo, gobjc, ...).
  • bstarynk/bismon: persistent monitor (for static source code analysis, GCC based) might later become a successor to GCC MELT
• You should make a new programming language
  • Хабр / Вам следует написать новый (ужасный) язык программирования
• LinkedIn / Graphs are fundamental in compilers
  • Almost every major stage of a modern compiler leverages graph algorithms: control flow graphs, data flow analyses, register allocation, dependence graphs...
• rui314/chibicc A small C compiler
• The Chip Letter / Compiler Explorer by Babbage
  • Хабр / Compiler Explorer — уникальный проект для исследования компилируемого кода
• Programming Language Design and Implementation Stack Exchange
  • parsing - Why do compilers typically convert code into abstract syntax/parse trees before the final product?

Books

• Implementing a Custom Language by Vassili Kaplan
• flex & bison by John Levine
• Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages by Terence Parr
• The Definitive ANTLR 4 Reference by Terence Parr - 328 pages
• Build Your Own Programming Language. A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems by Clinton L. Jeffery - 494 pages

LLVM

• Clang a C language family frontend for LLVM
  • JSON Compilation Database Один из способов представления структуры C++ проекта. Это файл, в котором записаны параметры компиляции, необходимые для создания объектных файлов из исходного кода проекта. Обычно он имеет имя 'compile_commands.json'. База данных компиляции в JSON-формате состоит из массива "командных объектов", где каждый объект определяет один из способов компиляции единицы трансляции в проекте. Файл 'compile_commands.json' может использоваться для компиляции проекта или для анализа сторонними утилитами.
  • UndefinedBehaviorSanitizer
  • Clang-Tidy Checks
    • modernize-return-braced-init-list
• clangd understands your C++ code and adds smart features to your editor: code completion, compile errors, go-to-definition and more.
• Clang Static Analyzer
• documentation
  • XRay
    • XRay Instrumentation
    • XRay Flight Data Recorder Trace Format
    • Debugging with XRay
• MLIR Multi-Level IR Compiler Framework
  • Dialects
• YouTube / LLVM / “XRay in LLVM: Function Call Tracing and Analysis” by D. Michael
• reviews.llvm.org
• Google Группы / LLVM Development
  • [llvm-dev] How to dynamically turn on/off XRay tracing?
• LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries. Design powerful and reliable compilers using the latest libraries and tools from LLVM by Min-Yih Hsu
• Learn LLVM 12 by Kai Nacke - 392 pages
  • Chapter 11: Debugging Using LLVM Tools
    • Performance profiling with XRay
• learn-llvm/awesome-llvm A curated list of awesome LLVM (including Clang, etc) related resources.
• axic / FRONTENDS.md LLVM Frontends
• A Complete Guide to LLVM for Programming Language Creators
  • Hacker News

Courses

• Udacity / Intro to Computer Science
  • Lesson 1. How Get Started
    • 10. Grammar
    • 11. Backus Naur Form
    • 12. Backus Naur Quiz
    • 13. Python Expressions

Community

• Хабр / Компиляторы

Wikipedia

• Category:Compiler construction
• Binary-code compatibility
• Template:Application binary interface
• Категория:Теория компиляторов
• Категория:Технологии компиляторов
• AOT-компиляция
• JIT-компиляция
• Syntax diagram
• Abstract syntax tree
• Template:Formal languages and grammars
• Formal grammar
• Template:Metasyntax notations
• Backus–Naur form
  • Форма Бэкуса — Наура
• Extended Backus–Naur form
  • Расширенная форма Бэкуса — Наура
• Категория:Синтаксический анализ
• Static single-assignment form (SSA form) is a property of an intermediate representation (IR) that requires each variable to be assigned exactly once and defined before it is used.
• Tombstone diagram consist of a set of “puzzle pieces” representing compilers and other related language processing programs.
• Template:Executables
• Mach-O short for Mach object file format, is a file format for executables, object code, shared libraries, dynamically loaded code, and core dumps. It was developed to replace the a.out format.
• Binary File Descriptor library mechanism for the portable manipulation of object files in a variety of formats.
• Бутстрэппинг (значения)
• Bootstrapping (compilers)
  • Раскрутка компилятора
• Cross compiler is a compiler capable of creating executable code for a platform other than the one on which the compiler is running.
  • Кросс-компилятор компилятор, производящий исполняемый код для платформы, отличной от той, на которой исполняется сам кросс-компилятор.
• Data dependency is a situation in which a program statement (instruction) refers to the data of a preceding statement.
• Reaching definition for a given instruction is an earlier instruction whose target variable can reach (be assigned to) the given one without an intervening assignment
• Dead-code elimination is a compiler optimization to remove dead code (code that does not affect the program results).
• Source-to-source compiler is a type of translator that takes the source code of a program written in a programming language as its input and produces an equivalent source code in the same or a different programming language.
• Category:Free compilers and interpreters
• MLIR (software) is a framework for compiler development. The project belongs to the LLVM ecosystem and aims to abstract intermediate representations through the concept of dialects.

Grammars

• From Object Algebras to Attribute Grammars
  • Slides

Python

• Python Documentation
  • The Python Standard Library
    • Python Language Services
      • ast — Abstract Syntax Trees

Go

• zupzup
  • Basic AST Traversal
  • Basic AST Manipulation

Object Algebras

• From Object Algebras to Finally Tagless Interpreters by Oleksandr Manzyuk
  • slides
  • r/ProgrammingLanguages
• Modular Interpreters for the Masses: Implicit Context Propagation using Object Algebras by Inostroza, Pablo; van der Storm, Tijs
• Extensible Language Implementation with Object Algebras (Short Paper) by Maria Gouseti, Chiel Peters, Tijs van der Storm
• Evolving Languages with Object Algebras by Pablo Inostroza, Tijs van Der Storm