Login / Signup

A Model for Type Checking - with an Application to ALGOL 60.

Henry F. Ledgard
Published in: Commun. ACM (1972)
Keyphrases
  • database
  • viewpoint
  • conceptual model
  • object model