ABS: A formally correct software tool for space-efficient symbolic synthesis.

Alexander Weber Elisei Macoveiciuc Gunther Reissig

Published in: HSCC (2022)

Keyphrases

space efficient
data structure
data streams
sliding window
garbage collection
high level
suffix array
program synthesis
symbolic representation
bloom filter
uncertain data streams
range sum queries
privacy preserving
data sets
texture synthesis
main memory
linear space
data analysis
symbolic description
database