Programming Language Theory

  1. Advanced Topics
    1. Program Analysis and Verification
      1. Static Analysis
        1. Data Flow Analysis
          1. Control Flow Analysis
            1. Abstract Interpretation
            2. Model Checking
              1. Temporal Logic
                1. State Space Exploration
                  1. Counterexample Generation
                  2. Theorem Proving
                    1. Interactive Proof Assistants
                      1. Automated Theorem Proving
                        1. Proof Tactics
                      2. Metaprogramming
                        1. Macro Systems
                          1. Syntactic Macros
                            1. Hygienic Macros
                              1. Macro Expansion
                              2. Code Generation
                                1. Template Metaprogramming
                                  1. Staged Computation
                                    1. Partial Evaluation
                                    2. Reflection
                                      1. Runtime Reflection
                                        1. Compile-Time Reflection
                                          1. Meta-Object Protocols
                                        2. Domain-Specific Languages
                                          1. DSL Design Principles
                                            1. Domain Analysis
                                              1. Language Design Choices
                                                1. User Experience
                                                2. External DSLs
                                                  1. Custom Syntax
                                                    1. Standalone Processors
                                                      1. Tool Integration
                                                      2. Embedded DSLs
                                                        1. Host Language Integration
                                                          1. Shallow vs Deep Embedding
                                                            1. Combinator Libraries
                                                          2. Emerging Paradigms
                                                            1. Probabilistic Programming
                                                              1. Probabilistic Models
                                                                1. Inference Algorithms
                                                                  1. Uncertainty Quantification
                                                                  2. Quantum Programming
                                                                    1. Quantum Data Types
                                                                      1. Quantum Operations
                                                                        1. Quantum Algorithms

                                                                    Previous

                                                                    8. Implementation Strategies

                                                                    Go to top

                                                                    Back to Start

                                                                    1. Introduction to Programming Language Theory