Bashar Ahmad, Michael Krieger,
"LogicGuard Type System"
, Serie Unit Advanced Computing Technologie, RISC Software GmbH, Hagenberg, Austria, 2-2014
LogicGuard Type System
Sprache des Titels:
LogicGuard is a framework used to develop formalised specificatons 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 systems's judgments and rules, and accordingly the type checker was implemented.