Zobrazeno 1 - 10
of 89
pro vyhledávání: '"Big-Step"'
Autor:
Zhao, Shifang, Yu, Shu
Publikováno v:
Chinese Management Studies, 2024, Vol. 18, Issue 6, pp. 1738-1774.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/CMS-04-2023-0175
Publikováno v:
IEEE Access, Vol 11, Pp 64957-64967 (2023)
Abnormal traffic detection is critical to network security and quality of service. However, the similarity of features and the single dimension of the detection model cause great difficulties for abnormal traffic detection, and thus a big-step convol
Externí odkaz:
https://doaj.org/article/a07d043be9024fab8c52b6532ac1479a
Autor:
Angel Zúñiga, Gemma Bel-Enguix
Publikováno v:
Mathematics, Vol 10, Iss 20, p 3800 (2022)
Coevaluation, the coinductive interpretation of standard big-step evaluation rules, is a concise form of semantics, with the same number of rules as in evaluation, which intends to simultaneously describe finite and infinite computations. However, it
Externí odkaz:
https://doaj.org/article/9c5c0e72f7fb4df79b7eed8ddc5c4c1f
Autor:
Angel Zúñiga, Gemma Bel-Enguix
Publikováno v:
Mathematics, Vol 8, Iss 9, p 1573 (2020)
(Coinductive) natural semantics is presented as a unifying framework for the verification of total correctness of compilers in Coq (with the feature that a verified compiler can be obtained). In this way, we have a simple, easy, and intuitive framewo
Externí odkaz:
https://doaj.org/article/5d0a57478719465e8a4a104edc2b16d5
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.
Publikováno v:
PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming
PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩
PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩
International audience; We present an automatic translation of a skeletal semantics written in big-step style into an equivalent structural operational semantics. This translation is implemented on top of the Necro tool, which lets us automatically g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ac4e4d406c5e66ce1991dd5a1ca48e1
https://inria.hal.science/hal-03768820
https://inria.hal.science/hal-03768820
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.