Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes.

François Leclerc Christine Paulin-Mohring

Published in: TYPES (1993)

Keyphrases

case study
programming language
data streams
machine learning
real time
scale spaces
formal methods
databases
development environment
streaming data
sliding window
image content
theorem prover
multiple data streams
database
test bed
image data
hidden markov models
query processing
relational databases
real world