Implementation

This section is focused on implementation details of the language - what algorithms and concepts are needed to efficiently run the semantics.

• Code generation
  • Constrained optimization
  • Optimizations
  • Register allocation
  • Instruction selection
  • Instruction Scheduling
  • Jumps
  • Layout
  • C target
  • More on optimization
• Compiler design
  • Definitions
  • Design
  • Model
  • Optimization
  • Optimization variables
  • Build model
  • Complex bootstrap
  • Compile-time code execution
  • Compiler ways
  • Compiler memory management
  • Dynamic execution
  • IR dump
  • Incremental compilation
  • Hot reloading
• Compiler output
  • Output
  • Formats
  • Symbols
  • Relocations
  • Linker
  • Debugging information
  • Non-executable stack
  • ASLR
  • ELF
  • Assembly
  • Testing
• Core syntax
  • Example
  • Cut elimination
• Errors
  • Error levels
  • Error types
  • Error messages
  • Debugging
• Intermediate representation
  • Goals
  • Optimizations
  • More on IR
  • Sequent Core
  • Operations
  • Control flow
  • Blocks
  • Values
  • Thorin
• Implementation
  • Language
• Memory model
  • Pieces
• Profiling
  • Resources
  • Metrics
  • Statistics
  • Methods
  • Action
  • Caches
  • Benchmarking
• Reduction
  • Def/use
  • Hashing
  • Primitives
  • Linear logic
  • Implementation
• Reduction example
• Term rewriting
  • Higher-order matching
  • Cycle detection
  • Nondeterminism
  • Infinitary rewriting
  • Evaluation strategy
  • Verifying confluence
• Tools
  • Style checker
  • Testing harness
  • Documentation generator
  • Refactorer/reformatter
  • Interactive shell
  • IDE support
  • Debugger