The Programming Language Core

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • The Programming Language Core
  • A Core Imperative Language
  • Abstract Syntax
  • Example
  • Typing Rules
  • Example
  • Typing Rules
  • Typing Rules
  • Typing Rules
  • Induction and Recursion
  • Structural Induction
  • Unicity of Typing
  • Unicity of Typing
  • Typing Rules Define a Language
  • Proof Trees
  • Semantics of the Core Language
  • Semantic Algebras
  • Semantic Algebras
  • Command Semantics
  • Expression Semantics
  • Example
  • Soundness of the Typing Rules.
  • Soundness Theorem
  • Operational Properties
  • Denotations as Rewrite Rules
  • Properties of Operational Semantics
  • Computability of Phrases
  • Design of a Language Core
  • Orthagonality
    • Author: Wolfgang Schreiner
    Last Modification: March 26, 1998
    [Up] [RISC-Linz] [University] [Search]