leasure@paul.rutgers.edu (David E. Leasure) (10/19/89)
Since we've seen the VDM interpreter on the net (EPROS, and by the way does anybody have electronic documentation), maybe someone could volunteer a VDL interpreter? I'd especially like to know about ones written in Common LISP or FRANZ or C. Thanks. David Leasure leasure@csvax.cs.ukans.edu