Zobrazeno 1 - 10 of 46 pro vyhledávání: '"Vene, V."'
1
Realizability criteria for compositional MSC
Autor: Mooij, A.J., Romijn, J.M.T., Wesselink, J.W., Johnson, M., Vene, V.
Publikováno v: Algebraic Methodology and Software Technology ISBN: 9783540356332
AMAST
Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006), 248-262
STARTPAGE=248;ENDPAGE=262;TITLE=Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006)
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic specifications, realizability criteria have been identified, such as non-l
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::867ad02c2311a857edf29d7537e7721d
https://doi.org/10.1007/11784180_20
Zobrazit plný text záznamu
2
A Functional Shell that Operates on Typed and Compiled Applications
Autor: Plasmeijer, M.J., Weelden, A. van, Vene, V., Uustalu, T.
Publikováno v: Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures., 245-272. [S.l.] : Springer
STARTPAGE=245;ENDPAGE=272;TITLE=Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures.
Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures., pp. 245-272
ftp://ftp.cs.kun.nl/pub/Clean/papers/2004/plar2004-Esther_AFP.pdf
Contains fulltext : 60595.pdf (author's version ) (Open Access) Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, the shell can be
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10bc1d05a0e655d7b7e488f150a8f273
https://hdl.handle.net/2066/60595
Zobrazit plný text záznamu
3
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.
4
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.
5
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.
6
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.
8
Signals and comonads
Autor: Tarmo Uustalu, Vene, V.
Publikováno v: Scopus-Elsevier
Tarmo Uustalu
ResearcherID
JUCS-Journal of Universal Computer Science 11(7): 1310-1326
We propose a novel discipline for programming stream functions and for the semantic description of stream manipulation languages based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comona
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8ffff51c6ecae3f6ec92d69a068d3af
http://www.scopus.com/inward/record.url?eid=2-s2.0-24944434990&partnerID=MN8TOARS
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje