Mokhov, Serguei A.Paquet, JoeyDebbabi, MouradGöbel, OliverFrings, SandraGünther, DetlefNedon, JensSchadt, Dirk2019-06-042019-06-042008978-3-88579-234-5https://dl.gi.de/handle/20.500.12116/23592The 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.enText/Conference Paper1617-5468