home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / specific / 596 < prev    next >
Encoding:
Text File  |  1992-12-30  |  1.6 KB  |  39 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!haven.umd.edu!news.umbc.edu!gmuvax2!ofut
  3. From: ofut@gmuvax2.gmu.edu (A. Jeff Offutt)
  4. Subject: Theoretical limitations of algebraic specifications?
  5. Message-ID: <1992Dec31.000439.8884@gmuvax2.gmu.edu>
  6. Keywords: Specification,Algebraic
  7. Sender: Jeff Offutt
  8. Organization: ISSE Department, George Mason University
  9. Date: Thu, 31 Dec 1992 00:04:39 GMT
  10. Lines: 27
  11.  
  12. I have been struggling with an algebraic spec for a couple of days and
  13. am beginning to wonder if I am trying to do something that is
  14. impossible.  Intuitively, the feeling is similar to that of trying to
  15. describe a context free language using regular expressions.
  16.  
  17. Generally, are there _known_ fundamental limitations of algebraic
  18. specifications?  Has anyone studied the "classes" of ADTs that can be
  19. specified using various specification approaches?  If so, I would
  20. appreciate a reference (or a short synopsis, if possible).
  21.  
  22. More specifically, I am trying to specify a tree that has the notion of
  23. a "current node", and operations to change the current node.  The
  24. current node is a headache, mainly because I have different kinds of
  25. constructors -- some that modify the tree structure (adding/deleting
  26. nodes) and others that modify the current node.  My real problem,
  27. though, is with an operation that changes the current node to the
  28. root.
  29.  
  30. Does anyone konw offhand if that is possible ... and if it is, how?
  31.  
  32. If you are interested and can offer more help, we can talk via email
  33. about the specifics of the data structure I am working with.
  34. -- 
  35. Jeff Offutt
  36. Department of ISSE, George Mason University, Fairfax VA
  37. email: ofut@gmuvax2.gmu.edu
  38. phone: (703) 993-1654 (messages: 993-1640)
  39.