An Approach to the Static Semantics of VDM-SL.

Hans Bruun Bo Stig Hansen Flemming M. Damm

Published in: VDM Europe (1) (1991)

Keyphrases

formal semantics
genetic algorithm
semantic information
dynamic analysis
logical language
knowledge base
keywords
reverse engineering
specification language