"Space Complexity of LogicGuard Revisited"
, Serie RISC Report Seriies, RISC, RISC Hagenberg, 10-2015
Space Complexity of LogicGuard Revisited
Sprache des Titels:
We analyse the space complexity of specific formula structures constructed using the core language of the LogicGuard framework. Unlike previous analysis which focused on the local space complex around a single quantifier, in this work we fix the global structure of the formula enough to allow analysis as a whole. Though we end up with precise results for two very specific cases, we show that these cases are upper and lower bounds of arbitrary formulae with similar structure. We ignore cases which need infinite space as previous work deals with them sufficiently.