Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.
Kim B. BrucePublished in: POPL (1993)
Keyphrases
- type checking
- object oriented programming language
- object oriented
- real time systems
- data types
- database query languages
- query processor
- relational calculus
- object model
- design patterns
- abstract data types
- data model
- real time
- artificial intelligence
- database management systems
- relational databases
- multi agent systems
- databases