Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.

Brigitte Pientka

Published in: ICLP (2006)

Keyphrases

database
multimedia
computationally efficient
computationally expensive
logical operations
real time
artificial intelligence
image processing
data model
formal methods