Zobrazeno 1 - 10
of 391
pro vyhledávání: '"Hutton, Graham"'
Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manually on paper, or mechanised in a theorem prover. This article shows ho
Externí odkaz:
http://arxiv.org/abs/1806.03541
Autor:
Webb, Stephen H.
Publikováno v:
Reviews in Religion & Theology. Mar2009, Vol. 16 Issue 2, p169-172. 4p.
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:
Bahr, Patrick, Hutton, Graham
Publikováno v:
Bahr, P & Hutton, G 2022, Monadic Compiler Calculation (Functional Pearl) . in Proceedings of the ACM on Programming Languages . vol. 6, Association for Computing Machinery . https://doi.org/10.1145/3547624
Bahr and Hutton recently developed a new approach to calculating correct compilers directly from specifications of their correctness. However, the methodology only considers converging behaviour of the source language, which means that the compiler c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2988::ad8afc1dd358a73cd24794a0614e9e95
https://pure.itu.dk/portal/da/publications/31885823-95cc-4b43-af63-52694ba86668
https://pure.itu.dk/portal/da/publications/31885823-95cc-4b43-af63-52694ba86668
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 March 2011 229(5):75-95