| LCS Publication Details |
| Publication Title: | PROCEDURAL REFLECTION IN PROGRAMMING LANGUAGES VOLUME 1 |
| Publication Author: | Smith, B.C. |
| Additional Authors: | |
| LCS Document Number: | MIT-LCS-TR-272 |
| Publication Date: | 1-1-1982 |
| LCS Group: | No Group Specified |
| Additional URL: | No URL Given |
| Abstract: | |
| We show how a computational system can be constructed to "reason," effectively and consequentially, about its own inferential processes. The analysis proceeds in two parts. First, we consider the general question of computational semantics, rejecting traditional approaches, and arguing that the declarative and procedural aspects of computational symbols (what they stand for, and what behaviour they engender) should be analysed independently, in order that they may be coherently related. | |
| To obtain this publication: | |
|
|
|
To purchase a printed copy of this publication please contact MIT Document Services. |
|