Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
| 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 |