The VDM Domain Compiler.

Hans-Martin Hörcher Uwe Schmidt

Published in: FTRTFT (1994)

Keyphrases

real time
digital libraries
general purpose
programming language
domain specific
domain independent