RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @techreport{RISC5426,
    author = {David M. Cerna and Wolfgang Schreiner},
    title = {{Writing Time- and Space- Efficient LogicGuard Specifications}},
    language = {english},
    abstract = {Based on the analysis carried out as part of the LogicGuard II project we purpose various methods for reducing the time and space complexity of LogicGuard specifications. The key results of these investigations are that space complexity is most effected by the order of the intervals based on length and time complexity is most effected by the overlap of the intervals. We provide examples illustrating these findings as well as analysis of the theoretical results. },
    year = {2017},
    month = {March},
    length = {11},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
    }