Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Labich, Nicholas"'
Publikováno v:
Proc. ACM Program. Lang. 1, ICFP, Article 12 (September 2017)
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide
Externí odkaz:
http://arxiv.org/abs/1707.04755
Autor:
Hammer, Matthew A., Dunfield, Jana, Headley, Kyle, Labich, Nicholas, Foster, Jeffrey S., Hicks, Michael, Van Horn, David
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently update the result of a computation when an input is changed. A key design c
Externí odkaz:
http://arxiv.org/abs/1503.07792
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.
Publikováno v:
ACM / SIGPLAN Notices; Sep2013, Vol. 48 Issue 9, p443-454, 12p
