Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
Communications of the ACM
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Hi-index | 0.00 |
This position paper refers to some observations I made at the 'High Level Abstraction Workshop', and it exhibits a way to attack abstraction and specification problems in the database field. Because of the fixed page limit this will be done in a more or less cursory collection of remarks.