Writing Time- and Space- Efficient LogicGuard Specifications

David Cerna; Wolfgang Schreiner

Writing Time- and Space- Efficient LogicGuard Specifications

David Cerna
, Wolfgang Schreiner

Institut für Symbolisches Rechnen

Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation

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.

Originalsprache	Englisch
Erscheinungsort	Hagenberg, Linz
Herausgeber	RISC, JKU
Seitenumfang	11
Publikationsstatus	Veröffentlicht - März 2017

Publikationsreihe

Name	RISC Report Series

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dieses zitieren

@techreport{609429761a4a4e47bfa89f43ef5309fd,

title = "Writing Time- and Space- Efficient LogicGuard Specifications",

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.",

author = "David Cerna and Wolfgang Schreiner",

year = "2017",

month = mar,

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

type = "WorkingPaper",

institution = "RISC, JKU",

}

TY - UNPB

T1 - Writing Time- and Space- Efficient LogicGuard Specifications

AU - Cerna, David

AU - Schreiner, Wolfgang

PY - 2017/3

Y1 - 2017/3

N2 - 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.

AB - 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.

M3 - Preprint

T3 - RISC Report Series

BT - Writing Time- and Space- Efficient LogicGuard Specifications

PB - RISC, JKU

CY - Hagenberg, Linz

ER -