EXAMPLES OF FORMAL SEMANTICS,

Abstract

A technique of formal definition, based on relations between 'attributes' associated with nonterminal symbols in a context-free grammar, is illustrated by several applications to simple yet typical problems. First the report defines the basic properties of lambda expressions, involving substitution and renaming of bound variables. Then a simple programming language is defined using several different points of view. The emphasis is on 'declarative' rather than 'imperative' or 'algorithmic' forms of definition. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1970
Accession Number
AD0711329

Entities

People

  • Donald Knuth

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Languages
  • Computer Programming
  • Context Free Grammars
  • Grammars
  • Language
  • Linguistics
  • Programming Languages
  • Semantics

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.