collberg@dna.lth.se (Christian S. Collberg) (04/23/91)
Has anyone used Z to define the static semantics of a ``normal'' language (pascal, Modula-2,...)? Any reason why it would be more difficult than using VDM? I'd appreciate any references to the literature. Chris collberg@dna.lth.se -- -------------------------------------------------------------------- Christian.Collberg@dna.lu.se