On the Use of LISP in Implementing Denotational Semantics

  title={On the Use of LISP in Implementing Denotational Semantics},
  author={Peter Lee and Uwe F. Pleban},
  booktitle={LISP and Functional Programming},
Automatic compiler generators and semantics systems typically produce compilers which depend heavily on the mechanism of ~-reduction. This is particularly true of them systems based on denotational romant ic , since their descriptive notatious are bMmd on the A-calculus. Performing/kroductious is expeus/ve, however, and this is a primary reason for the extreme inefficiency of automaticaUy-pnerated compilers and the code they produce. Since LISP is in many respects sim~ar to the A-calculus, it… CONTINUE READING