From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
| dc.contributor.author | Wasserrab, Daniel | * |
| dc.date.accessioned | 2021-02-11T14:06:27Z | |
| dc.date.available | 2021-02-11T14:06:27Z | |
| dc.date.issued | 2011 | * |
| dc.date.submitted | 2019-07-30 20:02:00 | * |
| dc.identifier | 35028 | * |
| dc.identifier.uri | https://directory.doabooks.org/handle/20.500.12854/48105 | |
| dc.description.abstract | 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 for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable. | * |
| dc.language | English | * |
| dc.subject | QA75.5-76.95 | * |
| dc.subject.classification | bic Book Industry Communication::U Computing & information technology::UY Computer science | en_US |
| dc.subject.other | Formal Semantics | * |
| dc.subject.other | Slicing | * |
| dc.subject.other | Theorem Proving | * |
| dc.subject.other | Language Based Security | * |
| dc.subject.other | Modularity | * |
| dc.title | From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security | * |
| dc.type | book | |
| oapen.identifier.doi | 10.5445/KSP/1000020678 | * |
| oapen.relation.isPublishedBy | 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 | * |
| oapen.relation.isbn | 9783866445949 | * |
| oapen.pages | XIX, 203 p. | * |
| peerreview.review.type | Full text | |
| peerreview.anonymity | All identities known | |
| peerreview.reviewer.type | Internal editor | |
| peerreview.reviewer.type | External peer reviewer | |
| peerreview.review.stage | Pre-publication | |
| peerreview.open.review | No | |
| peerreview.publish.responsibility | Scientific or Editorial Board | |
| peerreview.id | 8ad5c235-9810-49eb-b358-27c8675324d9 | |
| peerreview.title | Dissertations (Dissertationen) |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described
as
https://creativecommons.org/licenses/by-nc-nd/4.0/