Compile Time Type Checking of Structure Field Accessing.

Hamish I. E. Gunn

Published in: Inf. Process. Lett. (1982)

Keyphrases

type checking
integrity constraints
data mining
spatio temporal
knowledge representation
software engineering
data types