Accession Number:

ADA089733

Title:

Mathematical Semantics for Higher Order Programming Languages.

Descriptive Note:

Final rept. 1 Jun 79-31 May 80,

Corporate Author:

SYRACUSE UNIV NY SCHOOL OF COMPUTER AND INFORMATION SCIENCE

Personal Author(s):

Report Date:

1980-07-01

Pagination or Media Count:

66.0

Abstract:

Complete operational and mathematical semantics are presented for a higher order applicative algorithmic language BAL. Both semantics involve partially ordered domains closed under limits of convergent sequences. Procedure calls are formalized via lambda calculus reductions, or copy rule. Evaluations involve a more general form of computability described as nondeterministic computability. The mathematical semantics is obtained via embeddings in reflexive domains. Both semantics are proved to be equivalent, and several applications are given. The adequacy of the copy rule is proved in standard situations where computability is deterministic. Several examples are presented. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE