Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Paraskevopoulou, Zoe"'
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
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:
Paraskevopoulou, Zoe1 (AUTHOR), Shamon, Hila2 (AUTHOR) shamonh@si.edu, Songer, Melissa2 (AUTHOR), Ruxton, Graeme1 (AUTHOR), McShea, William J.2 (AUTHOR)
Publikováno v:
Oryx. May2022, Vol. 56 Issue 3, p465-474. 10p.
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:
Paraskevopoulou, Zoe, Hriţcu, Cătălin, Dénès, Maxime, Lampropoulos, Leonidas, Pierce, Benjamin C.
Publikováno v:
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings; 2015, p325-343, 19p
Publikováno v:
ACM / SIGPLAN Notices; Sep2016, Vol. 51 Issue 9, p132-145, 14p
Autor:
Lapp, Sam, Wu, Tianhao, Richards‐Zawacki, Corinne, Voyles, Jamie, Rodriguez, Keely Michelle, Shamon, Hila, Kitzes, Justin
Publikováno v:
Conservation Biology; Oct2021, Vol. 35 Issue 5, p1659-1668, 10p
Publikováno v:
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings; 2015, p469-469, 1p
Autor:
Luís Caires
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software,