Reflection and Semantics in Lisp

@inproceedings{Smith1984ReflectionAS,
  title={Reflection and Semantics in Lisp},
  author={Brian Cantwell Smith},
  booktitle={POPL},
  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… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 279 CITATIONS

Reflection for the Masses

VIEW 21 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Semantically-Sensitive Macroprocessing

VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Self-interpreter for Prolog

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Time sensitive architectures: a reflective approach

  • Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings.
  • 2004
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Language Symbiosis through Symbiotic Reflection

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Integrating Legacy Systems with Modern Corgorate Applications

  • Commun. ACM
  • 1997
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1984
2019

CITATION STATISTICS

  • 19 Highly Influenced Citations

  • Averaged 6 Citations per year from 2017 through 2019

References

Publications referenced by this paper.