Formally specifying operational semantics ans language constructs of forensic lucid

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Mokhov, S. A., Paquet, J. & Debbabi, M., (2008). Formally specifying operational semantics ans language constructs of forensic lucid. In: Göbel, O., Frings, S., Günther, D., Nedon, J. & Schadt, D. (Hrsg.), IMF 2008 – IT Incident Management & IT Forensics. Bonn: Gesellschaft für Informatik e.V.. (S. 197-216).
@inproceedings{mci/Mokhov2008,
author = {Mokhov, Serguei A. AND Paquet, Joey AND Debbabi, Mourad},
title = {Formally specifying operational semantics ans language constructs of forensic lucid},
booktitle = {IMF 2008 – IT Incident Management & IT Forensics},
year = {2008},
editor = {Göbel, Oliver AND Frings, Sandra AND Günther, Detlef AND Nedon, Jens AND Schadt, Dirk} ,
pages = { 197-216 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
gi-proc-140-014.pdf273.0Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-234-5
ISSN: 1617-5468
Datum: 2008
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige