KIT | KIT-Bibliothek | Impressum | Datenschutz

Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL

Wasserrab, Daniel; Lochbihler, Andreas


Volltext §
DOI: 10.5445/IR/1000008488
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Universität Karlsruhe (TH) (Univ. Karlsruhe)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2008
Sprache Englisch
Identifikator ISBN: 978-3-540-71065-3
urn:nbn:de:swb:90-84887
KITopen-ID: 1000008488
Erschienen in Theorem proving in higher order logics. 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Ed.: Otmane Ait Mohamed
Verlag Springer-Verlag
Seiten 294 - 309
Serie Lecture notes in computer science ; 5170
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page