Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Filip Zavoral"'
Publikováno v:
Proceedings of the 17th International Conference on Software Technologies.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a083252478786c72ff0a15e27bee157
https://doi.org/10.5220/0011272300003266
https://doi.org/10.5220/0011272300003266
Publikováno v:
Journal of Computer Languages. 73:101152
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a5b9e00fe67e572472306a4e0d6fd34
https://doi.org/10.1016/j.cola.2022.101152
https://doi.org/10.1016/j.cola.2022.101152
Publikováno v:
Semantic Web
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7a23b8f90fa2d8ec2989199e2c6f832
http://www.intechopen.com/articles/show/title/semantic-infrastructures
http://www.intechopen.com/articles/show/title/semantic-infrastructures
Publikováno v:
TASE
Compiling dynamic languages to stack-based intermediate representations used in platforms such as. NET and Java proved to be useful, mainly due to the enhanced interoperability and security. To produce the best intermediate code possible, current app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12f4a18ceb39c5d8a9d3b1e70e4e5945
https://doi.org/10.1109/tase49443.2020.00028
https://doi.org/10.1109/tase49443.2020.00028
Autor:
Filip Zavoral, Jakub Misek
Publikováno v:
Journal of Ambient Intelligence and Humanized Computing. 10:2537-2544
The recent expansion of cloud-based solutions highlights that legacy programming languages and technologies, such as the PHP language, are still in heavy use. Furthermore, it turns out that for their effective integration into modern platforms, it is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6edbb79d4303a791ae2e8b5f1abc0b64
https://doi.org/10.1007/s12652-018-0731-5
https://doi.org/10.1007/s12652-018-0731-5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
FM Workshops (2)
Backward symbolic execution (BSE), also known as weakest precondition computation, is a useful technique to determine validity of assertions in program code by transforming its semantics into boolean conditions for an SMT solver. Regrettably, the lit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::183825a08f1137a2fb13bc3d197f602f
https://doi.org/10.1007/978-3-030-54997-8_33
https://doi.org/10.1007/978-3-030-54997-8_33
Autor:
Jakub Misek, Filip Zavoral
Publikováno v:
ANT/SEIT
The recent expansion of cloud-based solutions highlights that legacy programming languages and technologies, such as the PHP language, are still in heavy use. Furthermore, it turns out that for their effective integration into modern platforms, it is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63b6439fb2e9234f2c1bf306ced5db1e
https://doi.org/10.1016/j.procs.2017.05.452
https://doi.org/10.1016/j.procs.2017.05.452
Autor:
Robert Husák, Filip Zavoral
Publikováno v:
AIP Conference Proceedings.
In order to prevent, detect and fix errors in software, various code analysis techniques have been developed and are practically used, e.g. abstract interpretation or concolic execution. We want to bring into attention backward symbolic execution, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4957d0246fd18e2f9910cefd7afceec8
https://doi.org/10.1063/1.5114357
https://doi.org/10.1063/1.5114357
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319948089
DATA (Revised Selected Papers)
DATA (Revised Selected Papers)
Electronic sports or pro gaming have become very popular in this millenium and the increased value of this new industry is attracting investors with various interests. One of these interest is game betting, which requires player and team rating, game
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb6c5f1a9c3d77dc1714c26efe54b7ca
https://doi.org/10.1007/978-3-319-94809-6_8
https://doi.org/10.1007/978-3-319-94809-6_8
Publikováno v:
2016 IEEE Conference on Open Systems (ICOS).
Dynamic languages play an important role in the computer industry. Most noticeably, a vast majority of web servers and client browsers are running some sort of dynamic language, such as Python, JavaScript or PHP. In light of the ubiquitous attempts t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1e4b415412866d39394be655e9ff0b4
https://doi.org/10.1109/icos.2016.7881998
https://doi.org/10.1109/icos.2016.7881998