On Type Checking in VDM and Related Consistency Issues.

Flemming M. Damm Bo Stig Hansen Hans Bruun

Published in: VDM Europe (1) (1991)

Keyphrases

type checking
distributed systems
database query languages