home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / compiler / 1436 < prev    next >
Encoding:
Internet Message Format  |  1992-08-22  |  1.4 KB
  1. Path: sparky!uunet!ogicse!das-news.harvard.edu!spdcc!iecc!compilers-sender
  2. From: macrakis@osf.org (Stavros Macrakis)
  3. Newsgroups: comp.compilers
  4. Subject: Re: Set Generators
  5. Keywords: theory
  6. Message-ID: <92-08-136@comp.compilers>
  7. Date: 21 Aug 92 17:28:19 GMT
  8. Article-I.D.: comp.92-08-136
  9. References: <92-08-125@comp.compilers>
  10. Sender: compilers-sender@iecc.cambridge.ma.us
  11. Reply-To: macrakis@osf.org (Stavros Macrakis)
  12. Organization: OSF Research Institute
  13. Lines: 23
  14. Approved: compilers@iecc.cambridge.ma.us
  15.  
  16. coatta@cs.ubc.ca (Terry Coatta) writes:
  17.  
  18.    In a system that I am working on, sets of objects are often
  19.    specified via membership predicates.  ... I am looking for are
  20.    hints or help on a ``mechanical'' process for taking membership
  21.    predicates and ``compiling'' them in to (imperative) procedures
  22.    which will generate the set in question.
  23.  
  24. There has been considerable work on this problem.  Of course, it is
  25. completely intractable in general, however for many useful and interesting
  26. cases, there are good results.
  27.  
  28. Researchers working in this area include Cordell Green, Dave Barstow,
  29. Martin Feather.  Manfred Broy, John Darlington, and others work on closely
  30. related problems.
  31.  
  32. Green's company, Reasoning Systems (Palo Alto, CA), sells a product called
  33. Refine which does precisely this (among other things).
  34.  
  35.     -s
  36. -- 
  37. Send compilers articles to compilers@iecc.cambridge.ma.us or
  38. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  39.