Report copyright - Definitional interpreters for higher-order programming languagesDEFINITIONAL INTERPRETERS 365 definition of LISP [1], Landin’s SECD machine [7], the Vienna definition of PL/I [18],
Please pass captcha verification before submit form