Formally specifying operational semantics ans language constructs of forensic lucid
| dc.contributor.author | Mokhov, Serguei A. | |
| dc.contributor.author | Paquet, Joey | |
| dc.contributor.author | Debbabi, Mourad | |
| dc.contributor.editor | Göbel, Oliver | |
| dc.contributor.editor | Frings, Sandra | |
| dc.contributor.editor | Günther, Detlef | |
| dc.contributor.editor | Nedon, Jens | |
| dc.contributor.editor | Schadt, Dirk | |
| dc.date.accessioned | 2019-06-04T11:30:42Z | |
| dc.date.available | 2019-06-04T11:30:42Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | The Forensic Lucid programming language is being developed for intensional cyberforensic case specification and analysis, including the syntax and operational semantics. In significant part, the language is based on ist predecessor and codecessor Lucid dialects, such as GIPL, Indexical Lucid, Lucx, Objective Lucid, and JOOIP bound by the intensional higher-order logic that is behind them. This work continues to formally specify the operational semantics of the Forensic Lucid language extending the previous ralated work. | en |
| dc.identifier.isbn | 978-3-88579-234-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/23592 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | IMF 2008 – IT Incident Management & IT Forensics | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-140 | |
| dc.title | Formally specifying operational semantics ans language constructs of forensic lucid | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 216 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 197 | |
| gi.conference.date | September, 23-25, 2008 | |
| gi.conference.location | Mannheim | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1