Keyphrases
- lambda calculus
- abstract data types
- programming language
- data abstraction
- data types
- general purpose
- object oriented
- high level
- software engineering
- object oriented databases
- relational data model
- data model
- relational database systems
- type checking
- data structure
- program understanding
- predicate calculus
- complex objects
- source code