Implementing Application-Specific Object-Oriented Theories in HOL.
Kenro YatakeToshiaki AokiTakuya KatayamaPublished in: ICTAC (2005)
Keyphrases
- application specific
- object oriented
- general purpose
- programming language
- cad cam
- generally applicable
- data model
- rapid application development
- database applications
- object oriented databases
- database schema
- relational databases
- database design
- theorem prover
- object oriented database systems
- high bandwidth
- software engineering
- computer aided design
- computation intensive
- formal methods
- programming interface
- data mining
- xml schema
- database
- information technology