Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Semantics Specification"'
Publikováno v:
Computers & Security. Sep2017, Vol. 70, p124-143. 20p.
Autor:
Fan, Cui-Ling, Lei, Jian-Guo
Publikováno v:
IEEE Transactions on Information Theory; Jan2012, Vol. 58 Issue 1, p130-138, 9p
Autor:
Nederhof, Mark-Jan, Satta, Giorgio
Publikováno v:
Computational Linguistics; Sep2011, Vol. 37 Issue 3, Special section p1-23, 23p
Autor:
Schütze, Hinrich, Walsh, Michael
Publikováno v:
Computational Linguistics; Sep2011, Vol. 37 Issue 3, Special section p1-40, 40p
Publikováno v:
Computational Linguistics; Sep2011, Vol. 37 Issue 3, Special section p1-53, 53p
Autor:
Martin Tomášek, Slavomír Šimoňák
Publikováno v:
COMPUTING AND INFORMATICS; Vol 37, No 6 (2018): Computing and Informatics; 1464-1484
The paper deals with algebraic semantics for Petri nets, based on process algebra ACP. The semantics is defined by assigning a special variable to every place of given Petri net, expressing the process initiated in the place. Algebraic semantics of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d423a0dfec0f90151031fae4fe8f7d8b
http://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464
http://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464
Autor:
Bahram Zarrin, Hubert Baumeister
Publikováno v:
Zarrin, B & Baumeister, H 2018, An Integrated Framework to Specify Domain-Specific Modeling Languages . in Proceedings of 6th International Conference on Model-Driven Engineering and Software Development . SCITEPRESS Digital Library, pp. 83-94, 6th International Conference on Model-Driven Engineering and Software Development, Funchal, Portugal, 22/01/2018 . https://doi.org/10.5220/0006555800830094
MODELSWARD
MODELSWARD
In this paper, we propose an integrated framework that can be used by DSL designers to implement their desired graphical domain-specific languages. This framework relies on Microsoft DSL Tools, a meta-modeling framework to build graphical domain-spec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c13f0dab81208bbe19549d7751bfd661
https://orbit.dtu.dk/en/publications/dc75cc57-ea72-48f1-b548-9e2205cbeb5c
https://orbit.dtu.dk/en/publications/dc75cc57-ea72-48f1-b548-9e2205cbeb5c
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.
The effectiveness of a type checking tool strongly depends on the accuracy of the positional information that is associated with type errors. We present an approach where the location associated with an error message e is defined as a slice P_e of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::b75ed6eb77df63ebacdbf7bd2bb013d9
https://ir.cwi.nl/pub/14660
https://ir.cwi.nl/pub/14660