잡다한 링크 모음(LLVM 및 Rewrite 관련)

• LLVM and API reference documentation
• LLVM IR Undefined Behavior (UB) Manual
• LLVM Language Reference Manual
  • 인간이 읽을 수 있는 LLVM IR의 각 명령어에 대한 매뉴얼
• LLVM Related Publications
  • LLVM 관련 논문들을 볼 수 있다.
• LLVM: An Infrastructure for Multi-Stage Optimization
  • LLVM의 시작이 된 논문(2002)
• Static single-assignment form
• Dominator (graph theory)
• Control-flow graph
• Intermediate representation
• Rewriting
• Graph rewriting
• Shape grammar
• L-system
  • Formal Grammar 로부터 비결정적인 2D 또는 3D 모형을 만드는 체계
• Interlingual machine translation
• Ontology (information science)
  • 인간 사이에 합의된 지식을 나타내는 방법론
• Ontology language
  • First-Order Logic 기반 언어가 많다
• BURS
• Symbol table
• Source-to-source compiler
• Pivot language
• What is the difference between my LLVM IR and Clang's
• A Gentle Introduction to LLVM IR