Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Hamana, Makoto"'
Autor:
Hamana, Makoto
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 2 (June 14, 2022) lmcs:6600
We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi. To establish the method, we use a variation
Externí odkaz:
http://arxiv.org/abs/1912.03434
Autor:
Hamana, Makoto
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 4 (November 15, 2017) lmcs:4066
Cyclic data structures, such as cyclic lists, in functional programming are tricky to handle because of their cyclicity. This paper presents an investigation of categorical, algebraic, and computational foundations of cyclic datatypes. Our framework
Externí odkaz:
http://arxiv.org/abs/1705.06430
The aim of this paper is to provide mathematical foundations of a graph transformation language, called UnCAL, using categorical semantics of type theory and fixed points. About twenty years ago, Buneman et al. developed a graph database query langua
Externí odkaz:
http://arxiv.org/abs/1511.08851
Autor:
Hamana, Makoto
Publikováno v:
EPTCS 191, 2015, pp. 75-89
This paper shows an application of Bloom and Esik's iteration algebras to model graph data in a graph database query language. About twenty years ago, Buneman et al. developed a graph database query language UnQL on the top of a functional meta-langu
Externí odkaz:
http://arxiv.org/abs/1509.05376
Publikováno v:
In Science of Computer Programming 15 February 2020 187
Autor:
Hamana, Makoto
Publikováno v:
Logical Methods in Computer Science, Volume 6, Issue 3 (September 3, 2010) lmcs:1060
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and str
Externí odkaz:
http://arxiv.org/abs/1007.4266
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.
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.