Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Dumitrescu, Victor"'
Autor:
Martínez, Guido, Ahman, Danel, Dumitrescu, Victor, Giannarakis, Nick, Hawblitzel, Chris, Hritcu, Catalin, Narasimhamurthy, Monal, Paraskevopoulou, Zoe, Pit-Claudel, Clément, Protzenko, Jonathan, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil
We introduce Meta-F*, a tactics and metaprogramming framework for the F* program verifier. The main novelty of Meta-F* is allowing the use of tactics and metaprogramming to discharge assertions not solvable by SMT, or to just simplify them into well-
Externí odkaz:
http://arxiv.org/abs/1803.06547
Autor:
Dumitrescu, Victor1 victor.dumitrescu@umfcd.ro, Carina Tribus, Laura2, Trotea, Tiberiu1, Ovidiu Costea, Daniel3 daniel.costea@365univ-ovid.ro, Dumitrescu, Dan1
Publikováno v:
Journal of Medicine & Life. Jun2023, Vol. 16 Issue 6, p948-952. 5p.
Autor:
Dumitrescu, Victor1,2 dan.dumitrescu@umfcd.ro, Dumitrescu, Dan1,2, Stoica, Paul Lorin2, Draghici, George2, Chirca, Alexandru1,3
Publikováno v:
Journal of Mind & Medical Sciences. 2022, Vol. 9 Issue 1, p175-180. 6p.
Autor:
Moisin, Andrei, Faur, Mihai, Popa, Carmen, Gherman, Claudia Diana, Dumitrescu, Victor, Tanasescu, Denisa, Boicean, Adrian, Balasescu, Simona, Comandasu, Meda, Dumitrescu, Dan, Zgura, Anca, Mohor, Calin
Publikováno v:
Journal of Mind & Medical Sciences; 2022, Vol. 9 Issue 1, p143-151, 9p
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:
Dumitrescu V; Department of General Surgery, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Serban D; Department of General Surgery, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Costea DO; Faculty of Medicine, Ovidius University of Constanța, Constanța, ROU., Dumitrescu D; Department of General Surgery, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Bobirca F; Department of General Surgery, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Geavlete B; Department of Urology, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Bratu DG; Faculty of Medicine, 'Lucian Blaga' University of Sibiu, Sibiu, ROU., Tribus L; Department of Internal Medicine, Faculty of Dental Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Serboiu C; Department of Radiology, Oncology and Hematology, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Alius C; Department of General Surgery, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Tudor C; Department of General Surgery, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Dascalu AM; Department of Ophthalmology, Faculty of Medicine, University of Medicine and Pharmacy Carol Davila, Bucharest, ROU., Tudosie MS; Department of Clinical Toxicology, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Serban B; Department of Orthopaedics, Faculty of Medicine, Carol Davila University of Medicine and Pharmacy, Bucharest, ROU., Moga DF; Faculty of Medicine, 'Lucian Blaga' University of Sibiu, Bucharest, ROU.
Publikováno v:
Cureus [Cureus] 2023 Jul 14; Vol. 15 (7), pp. e41886. Date of Electronic Publication: 2023 Jul 14 (Print Publication: 2023).