Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Wasserrab, Daniel"'
Autor:
Wasserrab, Daniel
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d911cbc01517b4b0ab38ceb16c19da54
Publikováno v:
Proceedings of the ACM SIGPLAN Fourth Workshop: Programming Languages & Analysis for Security; 6/15/2009, p31-44, 14p
Autor:
Wasserrab, Daniel, Lochbihler, Andreas
Publikováno v:
Theorem Proving in Higher Order Logics (9783540710653); 2008, p294-309, 16p
Publikováno v:
Proceedings of the 21st Annual ACM SIGPLAN Conference: Object-oriented Programming Systems, Languages & Applications; 10/22/2006, p345-362, 18p
Autor:
Snelting, Gregor, Giffhorn, Dennis, Graf, Jürgen, Hammer, Christian, Hecker, Martin, Mohr, Martin, Wasserrab, Daniel
Publikováno v:
IT: Information Technology; Dec2014, Vol. 56 Issue 6, p280-287, 8p
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:
ACM / SIGPLAN Notices; Aug2009, Vol. 44 Issue 8, p4-5, 2p