Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Runciman, Colin"'
Publikováno v:
EPTCS 181, 2015, pp. 48-64
GP 2 is an experimental programming language for computing by graph transformation. An initial interpreter for GP 2, written in the functional language Haskell, provides a concise and simply structured reference implementation. Despite its simplicity
Externí odkaz:
http://arxiv.org/abs/1504.02621
Publikováno v:
In SLAS Technology December 2014 19(6):569-576
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.
Autor:
Matsushita, Tatsuru *, Runciman, Colin
Publikováno v:
In Theoretical Computer Science 2001 266(1):59-79
Autor:
Thompson, Simon, Runciman, Colin
Publikováno v:
Sixth Workshop on Tools for Automatic Program Analysis
The Demur tool translates programs and properties expressed in a large subset of Haskell to decidable models in Z3. These models use a bounded-depth representation of recursive function definitions, where the bound is increased from zero as checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::4993164d5c8e0a2c9095507dc3b32cbf
https://kar.kent.ac.uk/50496/1/TAPAS_2015_submission_1.pdf
https://kar.kent.ac.uk/50496/1/TAPAS_2015_submission_1.pdf
Autor:
Runciman, Colin, Swift, Ken
Publikováno v:
Assembly Automation, 1985, Vol. 5, Issue 3, pp. 147-150.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/eb004661
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.