home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / function / 947 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  1.0 KB
  1. Path: sparky!uunet!olivea!decwrl!sdd.hp.com!caen!nic.umass.edu!dime!freya.cs.umass.edu!fegaras
  2. From: fegaras@freya.cs.umass.edu (Leo Fegaras)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Bird-Meertens Formalism
  5. Keywords: Program Derivation, Calculational Approach
  6. Message-ID: <50771@dime.cs.umass.edu>
  7. Date: 23 Jul 92 16:03:33 GMT
  8. References: <1992Jul20.160706.10025@cs.ruu.nl> <1992Jul21.130843.16294@sci.kun.nl> <1992Jul22.145710.17064@cs.ruu.nl>
  9. Sender: news@dime.cs.umass.edu
  10. Organization: University of Massachusetts, Amherst
  11. Lines: 14
  12.  
  13.  
  14. Nico Verwer writes:
  15.  
  16. >                                                               On the
  17. > other hand, there is not yet a system for automatic reasoning in BMF.
  18.  
  19. There is an automatic theorem prover based on Fokkinga's paramorphisms.
  20. This work is described in the paper:
  21. L. Fegaras, T. Sheard, and D. Stemple.
  22. "Uniform Traversal Combinators: Definition, Use and Properties"
  23. In eleventh International Conference on Automated Deduction
  24. (CADE-11), Saratoga Springs, New York, June 1992.
  25.  
  26. Leo Fegaras
  27.