RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC4958,
    author = {Bashar Ahmad and Michael Krieger},
    title = {{LogicGuard Type System}},
    language = {english},
    abstract = {LogicGuard is a framework used to develop formalised specifications to verify and monitor network activities at runtime using predicate logic. This report describes the type system developed for the LogicGuard specification language. The LogicGuard specification language is a typed language and is statically type checked. Based on the language specification we derived the type system's judgments and rules, and accordingly the type checker was implemented.},
    year = {2014},
    month = {February},
    institution = {RISC Software GmbH, Unit Advanced Computing Technologies, Hagenberg, Austria},
    sponsor = {FFG BRIDGE Project 832207 "LogicGuard"},
    length = {13}