Logo des Repositoriums

Auflistung nach Autor:in "Paquet, Joey"

1 - 1 von 1
  • Konferenzbeitrag
    Formally specifying operational semantics ans language constructs of forensic lucid
    (IMF 2008 – IT Incident Management & IT Forensics, 2008) Mokhov, Serguei A.; Paquet, Joey; Debbabi, Mourad
    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.