Abstract Data Types in Event-B - An Application of Generic Instantiation
David A. BasinAndreas FürstThai Son HoangKunihiko MiyazakiNaoto SatoPublished in: CoRR (2012)
Keyphrases
- abstract data types
- data types
- data abstraction
- object oriented databases
- relational database systems
- spatial aggregation
- data model
- programming language
- high level
- database management systems
- artificial intelligence
- relational databases
- behavioral models
- general purpose
- database
- distributed systems
- scientific data
- spatio temporal
- machine learning