// @(#)$Id: extra.txt,v 1.1 1995/09/14 18:37:48 leavens Exp $

Extra credit problems:

(a)
Besides its role in interface specification,
what other ways can one use LSL?

(b)
Would it be possible to have an interface specification language
based on something other than LSL?
For example, could one design something like OBJ/C++,
using Goguen and Meseguer's specification language OBJ3?
If you're familiar with VDM or Z, could one design a langauge VDM/C++
or Z/C++, where VDM or Z would play the role of LSL in the interface
specification language?
What would be the advantages and disadvantages of that?

(c)
LSL has an associated proof assistant, LP.
What are the advantages of having such a tool for Larch/C++?