Programming Language Theory

  1. Formal Semantics
    1. Semantic Approaches Overview
      1. Purpose of Formal Semantics
        1. Comparison of Methods
          1. Choosing Appropriate Approaches
          2. Operational Semantics
            1. Small-Step Semantics
              1. Transition Relations
                1. Configuration Spaces
                  1. Evaluation Rules
                    1. Stuck States
                    2. Big-Step Semantics
                      1. Evaluation Relations
                        1. Derivation Trees
                          1. Termination Properties
                          2. Evaluation Contexts
                            1. Context Definition
                              1. Contextual Evaluation Rules
                                1. Reduction Strategies
                              2. Denotational Semantics
                                1. Mathematical Meanings
                                  1. Semantic Functions
                                    1. Compositional Structure
                                    2. Domain Theory
                                      1. Partial Orders
                                        1. Complete Partial Orders
                                          1. Continuous Functions
                                            1. Fixed Points
                                            2. Semantic Domains
                                              1. Basic Domains
                                                1. Function Spaces
                                                  1. Product Domains
                                                    1. Sum Domains
                                                    2. Recursive Definitions
                                                      1. Fixed-Point Semantics
                                                        1. Least Fixed Points
                                                      2. Axiomatic Semantics
                                                        1. Program Specification
                                                          1. Preconditions
                                                            1. Postconditions
                                                              1. Program Properties
                                                              2. Hoare Logic
                                                                1. Hoare Triples
                                                                  1. Inference Rules
                                                                    1. Partial Correctness
                                                                      1. Total Correctness
                                                                      2. Weakest Preconditions
                                                                        1. Predicate Transformers
                                                                          1. Calculation Methods

                                                                      Previous

                                                                      4. Syntax and Parsing

                                                                      Go to top

                                                                      Next

                                                                      6. Type Systems