Stanford University. Libraries. Department of Special Collections and University Archives3840/2https://purl.stanford.edu/mz550xp3837, Stanford University, Department of Computer Science, Technical Reports, and Stanford Artificial Intelligence Laboratory records, 1963-2009
PublishDate:
2021-02-05T23:24:54Z
Description:
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 don't talk about programs - i.e, syntactic objects - but just about elements in certain domains. Firstly the equivalence (in the circumstances where it's 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.
Identifier:
CS-TR-1975-507
Contributor:
Gordon, Michael J. C. (autAuthor)
Type:
Text and technical reports
Date:
1975-08-01
Language:
engEnglish
Format:
1 text file, technical reports, and image/jpeg
Subject:
Stanford University. Computer Science Department and Computer science