Accession Number : AD0711329

Title :   EXAMPLES OF FORMAL SEMANTICS,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Knuth,Donald E.

Report Date : JUL 1970

Pagination or Media Count : 36

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)

Descriptors :   (*PROGRAMMING LANGUAGES, *SEMANTICS), CONTEXT FREE GRAMMARS

Subject Categories : Linguistics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE