Type-checking in Formally Non-typed Systems.

Dick Crouch Tracy Holloway King

Published in: SETQALNLP (2008)

Keyphrases

type checking
expert systems
management system
expressive power
relational databases
distributed systems
data management