home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / specific / 602 < prev    next >
Encoding:
Internet Message Format  |  1993-01-06  |  1.1 KB
  1. Path: sparky!uunet!softrue!kearns
  2. From: kearns@softrue.UUCP (Steven Kearns)
  3. Newsgroups: comp.specification
  4. Subject: Re: Theoretical limitations of algebraic specifications?
  5. Message-ID: <37.UUL1.3#8618@softrue.UUCP>
  6. Date: Mon, 4 Jan 93 23:21:52 PDT
  7. References: <1993Jan3.125452.243@gems.vcu.edu>
  8. Organization: Software Truth
  9. Lines: 22
  10.  
  11. > > 
  12. > > It has been shown that Majester's stack (sp?), which is a stack with 
  13. > > a pointer to an arbitrary element (if memory serves), requires an infinite
  14. > > set of algebraic axioms to specify.  
  15. > 
  16. ..... 
  17. > Could you give us a short example, say of the extended stack you mention
  18. > above?
  19. > Antediluvian newsbreak:           |  J. E. Fritz    (fritz@ruby.vcu.edu)
  20. >   Scientists discover 4th prime;  |  VCU and I don't talk _to_ each other,
  21. >   proof at eleven.                |  let alone for each other.
  22.  
  23. See ACM Sigplan Notices Kapur 79.
  24. I assume the 79 is 1979.
  25.  
  26. -steve
  27.  
  28. ********************************************************
  29. * Steven Kearns            ....uunet!softrue!kearns    *
  30. * Software Truth           softrue!kearns@uunet.uu.net *
  31. ********************************************************
  32.  
  33.