Zobrazeno 1 - 10
of 7 823
pro vyhledávání: '"Operational Semantics"'
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:
Igried, Bashar, Setzer, Anton
Publikováno v:
EPTCS 258, 2017, pp. 36-51
CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which sup- ports a modular development of processes. In this paper, w
Externí odkaz:
http://arxiv.org/abs/1709.04714
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:
Antônio Costa
Publikováno v:
Inteligencia Artificial, Vol 25, Iss 69 (2022)
This paper introduces an operational semantics for what, in previous work, we have called situated ideological systems: sets of ways to envisage concrete social situations (normatively, valuationally etc.) that individuals and social groups may us
Externí odkaz:
https://doaj.org/article/bb95a5e52e434406a3b2e5cd1a485771
Autor:
Wei Ke, Ka-Hou Chan
Publikováno v:
IEEE Access, Vol 9, Pp 159313-159325 (2021)
Pattern matching has been widely adopted in functional programming languages, and is gradually getting popular in OO languages, from Scala to Python. The structural pattern matching currently in use has its foundation on algebraic data types from fun
Externí odkaz:
https://doaj.org/article/b15387e56f364754ada3549bc2604c4e
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.