Streaming Property Testing of Visibly Pushdown Languages.

Nathanaël François Frédéric Magniez Michel de Rougemont Olivier Serre

Published in: CoRR (2015)

Keyphrases

expressive power
test cases
video streaming
language independent
databases
data streams
test set
streaming data
description languages
database
object oriented languages
grammatical inference
target language
knowledge representation
multimedia
knowledge base
real time