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
Descriptors:
Subject Categories:
- Linguistics
- Computer Programming and Software