-
1
المؤلفون: Dave Clarke, Ilya Sergey
المصدر: LDTA
مصطلحات موضوعية: SECD machine, Control flow, Theoretical computer science, Correctness, Program analysis, Computer science, Programming language, Recursive descent parser, Abstract interpretation, computer.software_genre, computer, Abstract machine, Differentiation rules
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1aca2a81dec22ffeb7f076f923564a4
https://lirias.kuleuven.be/handle/123456789/312814