المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/trsecd.pdf.

مصطلحات موضوعية: tail recursion, tail call, SECD machine, CEK machine, verified implementation, Boyer-Moore theorem prover

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8133; http://www.ccs.neu.edu/home/ramsdell/papers/trsecd.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8133
http://www.ccs.neu.edu/home/ramsdell/papers/trsecd.pdf

المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mitre.org/work/best_papers/best_papers_99/ramsdell_secd/ramsdell_secd.pdf.

مصطلحات موضوعية: tail recursion, tail call, SECD machine, CEK machine, verified implementation, Boyer-Moore theorem prover

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2837; http://www.mitre.org/work/best_papers/best_papers_99/ramsdell_secd/ramsdell_secd.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2837
http://www.mitre.org/work/best_papers/best_papers_99/ramsdell_secd/ramsdell_secd.pdf