Prawf: An Interactive Proof System for Program Extraction.
Ulrich BergerOlga PetrovskaHideki TsuikiPublished in: CiE (2020)
Keyphrases
- computer programs
- information extraction
- modal logic
- search based software testing
- static analysis
- automatic extraction
- virtual reality
- knowledge base
- graphical interface
- highly interactive
- image processing
- user interaction
- computer graphics
- artificial intelligence
- automatically extracted
- learning algorithm
- information retrieval
- programming environment
- automatically extracting
- program execution
- real world