Turner (2012) points out that The Revised Report on Algol 60 (Naur 1963) specifies a procedure call by a copying rule that avoids variable capture with a systematic change of identifiers.
Landin in "The Mechanical Evaluation of Expressions" in 1964.
Hence the SECD machine is often presented in a more detailed form, such as Peter Henderson's Lispkit Lisp compiler, which has been distributed since 1980.
Since then it has been used as the target for several other experimental compilers. In 1989 researchers at the University of Calgary worked on a hardware implementation of the machine. ==Landin's contribution== D.
BRICS research report RS-04-30, 2004.
All text is taken from Wikipedia. Text is available under the Creative Commons Attribution-ShareAlike License .
Page generated on 2021-08-05