Accession Number:

AD0711329

Title:

EXAMPLES OF FORMAL SEMANTICS,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1970-07-01

Pagination or Media Count:

36.0

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

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE