Reflection and semantics in LISP

@inproceedings{Smith1984ReflectionAS,
  title={Reflection and semantics in LISP},
  author={B. C. Smith},
  booktitle={POPL '84},
  year={1984}
}
1. I n t r o d u c t i o n l"or three reasons, bi.';p's self-refi;rential properl.ies have not led to a general un(h:rst.auding of what it is fro" a cmuputational system to reason, in substantial way~, about its; owe operations a,ul structures. First., there is more to reasoning than reference; one also needs a theory, in terms of which to make .,~ense of the referenced domain. A comln, ter system able to reason about i t. : ; e l f-what I will call a reflective system-will therefore need an… Expand
547 Citations
Reification: Reflection without metaphysics
  • 134
Implementing reflection in nuprl
  • 17
A Metatheory of a Mechanized Object Theory
  • 22
M-LISP: a representation-independent dialect of LISP with reduction semantics
  • 37
  • Highly Influenced
How to be correct, lazy and efficient ?
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
The Revised Report on SCHEME: A Dialect of LISP.
  • 143
  • Highly Influential
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
  • 96
  • Highly Influential
The Revised Report an SCHEME, a Dialect of IJSI
  • M.I.'I ~. Artificial Intelligence Imboratory Memo AIM-452
  • 1978