Predicting Space Requirements for a Stream Monitor Specification Language.

David M. Cerna Wolfgang Schreiner Temur Kutsia

Published in: RV (2016)

Keyphrases

specification language
space requirements
formal specification
programming language
description language
space complexity
inverted file
suffix tree
data streams
object oriented
model checking
information systems
high level