Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Johnson, J. Ian"'
Publikováno v:
Journal of Functional Programming, Volume 24, Special Issue 2-3, May 2014, pp 218-283
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection push the boundaries of what we can learn about programs statically. This work illuminates and poses solutions to theoretical and practical challenge
Externí odkaz:
http://arxiv.org/abs/1406.5106
Autor:
Johnson, J. Ian, Van Horn, David
The strength of a dynamic language is also its weakness: run-time flexibility comes at the cost of compile-time predictability. Many of the hallmarks of dynamic languages such as closures, continuations, various forms of reflection, and a lack of sta
Externí odkaz:
http://arxiv.org/abs/1305.3163
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently goin
Externí odkaz:
http://arxiv.org/abs/1211.3722
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.