Scalable program analysis through proof caching (doctoral symposium).

Published in: ISSTA (2015)

Keyphrases

computer science
artificial intelligence
query processing
prefetching
information systems
theorem prover
consistency maintenance
databases
learning algorithm
linear logic
selected papers
response time
personal web
web scale
highly scalable
database
website
real time