Introduction

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, 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
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: core.tex,v 1.3 1996/02/05 10:34:52 schreine Exp schreine