Data Structure Views: VIEWAS
The VIEWAS system makes a view of a concrete type as a data structure
type, such as a linked-list or avl-tree.
- VIEWAS makes correspondences between abstract and concrete records
- Values, e.g. field to sort on
- Choices, e.g. sort-direction
- Groups of fields, e.g. contents is everything except the
- Type filtering and propagation of choices reduce input from user;
simple views can be made automatically.