Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!tut.cis.ohio-state.edu!rutgers!aramis.rutgers.edu!paul.rutgers.edu!leasure
From: leasure@paul.rutgers.edu (David E. Leasure)
Newsgroups: comp.software-eng
Subject: VDL interpreter
Keywords: VDL, Vienna Definition Language, LISP
Message-ID: <Oct.18.20.49.54.1989.1138@paul.rutgers.edu>
Date: 19 Oct 89 00:49:57 GMT
Organization: Rutgers Univ., New Brunswick, N.J.
Lines: 10


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