@techreport{RISC5150,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 = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}