Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Beautiful code, beautiful proof?

Autor: Mol, M.J. de, Eekelen, M.C.J.D. van, Achten, P., Koopman, P.

Publikováno v: Achten, P.; Koopman, P. (ed.), The Beauty of Functional Code, pp. 1-7
Lecture Notes in Computer Science ; 8106, 1-7. Berlin : Springer
STARTPAGE=1;ENDPAGE=7;TITLE=Lecture Notes in Computer Science ; 8106
Lecture Notes in Computer Science ISBN: 9783642403545
The Beauty of Functional Code

Functional programming languages are often praised for creating the capability of writing beautiful code. Furthermore, an often mentioned advantage is that it is easy to reason about properties of functional programs. Such reasoning can be either for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbac99d705ed7eb0971c98388d9e0868
https://hdl.handle.net/2066/120136

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Autor: Ghamarian, A.H., de Mol, M.J., Rensink, Arend, Zambon, Eduardo, van Gorp, Pieter, Mazanek, Steffen, Rose, Louis

Publikováno v: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 215-222
STARTPAGE=215;ENDPAGE=222;TITLE=Proceedings of the Fifth Transformation Tool Contest (TTC 2011)
TTC
Electronic Proceedings in Theoretical Computer Science, Vol 74, Iss Proc. TTC 2011, Pp 215-222 (2011)

This report presents a solution to the Hello World case study of TTC 2011 using GROOVE. We provide and explain the grammar that we used to solve the case study. Every requested question of the case study was solved by a single rule application.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90dcb4fefd89d01dba93fae6c0d5ccdf
http://arxiv.org/abs/1111.4754

Modelling and Analysis Using GROOVE

Autor: Ghamarian, A.H., de Mol, M.J., Rensink, Arend, Zambon, Eduardo, Zimakova, M.V.

In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph tra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::9da1d512fa721c435f37b45c8eaa540c
https://research.utwente.nl/en/publications/modelling-and-analysis-using-groove(0d4f0159-cf80-46d4-9760-e9b68ac2511f).html