author = {David Cerna},
title = {{Space Complexity of Operational Semantics for the LogicGuard Core Language}},
language = {english},
abstract = {In this work we provide a space complexity analysis of the core language of the LogicGuard framework. Our approach is to abstract away from the formula structure of the core language in order to construct invariants for a recursive function. This final recursive function provided an upper bound for the number of instances of the monitor that need to be kept in memory over any duration of time.},
year = {2015},
month = {May},
howpublished = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {Space Complexity, Rewriting, Recursion, Logic, LogicGuard, Formal Methods},
sponsor = {Austrian Research Promotion Agency},
length = {37},
type = {Technical Report},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}