TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.
Peter B. AndrewsMatthew BishopSunil IssarDan NesmithFrank PfenningHongwei XiPublished in: HUG (1993)
Keyphrases
- user friendly
- theoretical framework
- graphical interface
- information visualization
- computer graphics
- visualization tool
- semi automatic
- search based software testing
- design tools
- data sets
- virtual reality
- database
- user interaction
- theoretical foundation
- software tools
- similarity measure
- decision making
- information systems
- general theory
- genetic algorithm