Výsledky vyhledávání

Report

Autor: Darais, David, Labich, Nicholas, Nguyen, Phuc C., Van Horn, David

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

Zobrazit plný text záznamu

Report

Incremental Computation with Names

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

Zobrazit plný text záznamu

Akademický článek

Analyzing the relationship between sound, color, and emotion based on subjective and machine-learning approaches.

Autor: Kurilčik, J., Połom, M., Jankowski, M., Kozłowska, O., Łabich, A., Skiba, E., Spierewka, P., Śliwiński, P., Kostek, B.

Publikováno v: Procedia Computer Science; 2024, Vol. 246, p38-47, 10p

Zobrazit plný text záznamu

Report

Optimizing Abstract Abstract Machines

Autor: Johnson, J. Ian, Labich, Nicholas, Might, Matthew, Van Horn, David

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

Zobrazit plný text záznamu