A Type-Checking Program Linkage System for Pascal.

Richard B. Kieburtz W. Barabash C. R. Hill

Published in: ICSE (1978)

Keyphrases

object model
type checking
database query languages
data model
data types