Denotational Semantics

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Programming Language
  • Implementation
  • Evaluation
  • Formal Specifications
  • Operational Semantics
  • Axiomatic semantics
  • Denotational semantics
  • Application Areas
  • Relationship
  • Valuation Function
  • A Language of Binary Numerals
  • Meaning of Terminal Sentences
  • Meaning of Non-Terminal Sentences
  • Meaning of Non-Terminal Sentences
  • Meaning of Sentence

  • Author: Wolfgang Schreiner
    Last Modification: November 5, 1997

    [Up] [RISC-Linz] [University] [Search]