Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs.
Stefano BerardiUgo de'LiguoroPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- computer programs
- search based software testing
- computer graphics
- virtual reality
- user interaction
- test cases
- user friendly
- theorem proving
- program execution
- graphical interface
- computer vision
- data mining
- image processing
- control program
- interactive video
- highly interactive
- machine learning
- automatic extraction
- real world
- information extraction
- data structure
- multiscale
- case study
- multimedia