Sign in
Safe and Decidable Type Checking in an Object-Oriented Language.
Kim B. Bruce
Jonathan Crabtree
Thomas P. Murtagh
Robert van Gent
Allyn Dimock
Robert Muller
Published in:
OOPSLA (1993)
Keyphrases
</>
type checking
database query languages
data types
query processor
relational calculus
object oriented
abstract data types
object model
java virtual machine
first order logic
databases
data streams
object recognition
software engineering
user defined
relational algebra