Accession Number:

ADA017175

Title:

Towards a Semantic Theory of Dynamic Binding

Descriptive Note:

Sponsored in part by the DARPA.

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1975-08-01

Pagination or Media Count:

30.0

Abstract:

The results in this paper contribute to the formulation of a semantic theory of dynamic binding fluid variables. The axioms and theorems are language independent in that they dont talk about programs - i.e. syntactic objects - but just about elements in certain domains. Firstly the equivalence in the circumstances where its true of tying a knot through the environment elaborated in the paper and taking a least fixed point is shown. This is central in proving the correctness of LISP eval type interpreters. Secondly the relation which must hold between two environments if a program is to have the same meaning in both is established. It is shown how the theory can be applied to LISP to yield previously known facts.

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE