An interactive extension mechanism for reusing verified programs.

Sosuke Moriguchi Takuo Watanabe

Published in: SAC (2013)

Keyphrases

selection mechanism
computer graphics
database
user interaction
interactive exploration
computer programs
computational model
object oriented
computer vision
data sets
learning objects
multiscale
operating system
website
user friendly
answer sets
search engine
fixpoint
information retrieval