Zobrazeno 1 - 10
of 23
pro vyhledávání: '"evaluation order"'
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.
Autor:
McDermott, Dylan, Mycroft, Alan
We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with side-effects, call-by-value and call-by-name executions of programs often have different, but related, observable behaviou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f0e090b7dc0c3dc4e340e000be65e02
Autor:
Barker, Chris, Shan, Chung-Chieh
Publikováno v:
Journal of Logic, Language, and Information, 2006 Nov 01. 15(4), 331-370.
Externí odkaz:
https://www.jstor.org/stable/40180433
Autor:
McDermott, Dylan
Program transformations have various applications, such as in compiler optimizations. These transformations are often effect-dependent: replacing one program with another relies on some restriction on the side-effects of subprograms. For example, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da04298075f42d9b10ec105d149c6f78
Autor:
Barker, Chris, author, Shan, Chung-Chieh, author
Publikováno v:
Continuations and Natural Language, 2014.
Externí odkaz:
https://doi.org/10.1093/acprof:oso/9780199575015.003.0008
Autor:
Barker, Chris, author, Shan, Chung-Chieh, author
Publikováno v:
Continuations and Natural Language, 2014.
Externí odkaz:
https://doi.org/10.1093/acprof:oso/9780199575015.003.0002
Autor:
Barker, Chris, author, Shan, Chung-Chieh, author
Publikováno v:
Continuations and Natural Language, 2014.
Externí odkaz:
https://doi.org/10.1093/acprof:oso/9780199575015.003.0009
Publikováno v:
WRLA
The Rewriting Calculus has been proposed as a foundational system combining the central ideas of λ-calculus and term rewriting. The rewriting is explicit, in the sense that rules must be applied explicitly to terms to transform them. This paper begi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1fd1a0308c17a3c3c6983adf228442c
https://doi.org/10.1016/j.entcs.2004.06.028
https://doi.org/10.1016/j.entcs.2004.06.028
Publikováno v:
徳島大学総合科学部人間科学研究. 7:11-21
The Ebbinghaus illusion and the evaluation-order effect were investigate dby using the magnitude estimation method. One center circle and four surround circles constituted the Ebbinghaus figure.There were seven kinds of diameter for the circles. Seve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::ebd24040e07256a42e05feeea23dcb1e
http://repo.lib.tokushima-u.ac.jp/24880
http://repo.lib.tokushima-u.ac.jp/24880
Conference
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.