home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / function / 1048 < prev    next >
Encoding:
Internet Message Format  |  1992-08-29  |  2.5 KB
  1. Path: sparky!uunet!cis.ohio-state.edu!rutgers!ub!acsu.buffalo.edu!bharat
  2. From: bharat@acsu.buffalo.edu (Bharat Jayaraman)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Nondeterministic expressions
  5. Message-ID: <Btpr2D.5At@acsu.buffalo.edu>
  6. Date: 28 Aug 92 21:44:36 GMT
  7. Sender: nntp@acsu.buffalo.edu
  8. Organization: State University of New York at Buffalo/Comp Sci
  9. Lines: 55
  10. Nntp-Posting-Host: logic.cs.buffalo.edu
  11.  
  12. In message <2006@dutiws.tudelft.nl>, dated 21 Aug 92 09:57:03 GMT,
  13. klooster@dutiws.tudelft.nl (Marnix Klooster) writes:
  14.  
  15. > ...
  16. >
  17. >I have been thinking a bit about what I called "nondeterministic
  18. >expressions", i.e. expressions that can have any number of values
  19. >(zero, one, or more). A nondeterministic expression is entirely
  20. >defined by the set of its possible values.
  21. >
  22. >It occurred to me that such expressions could be used to develop
  23. >a "refinement calculus" for functional languages, by defining
  24. >a relation  >>  (pronounced "refines to") like this:
  25. >
  26. >  E >> F == The set of values  F  can have is a subset of the set
  27. >            of values  E  can have
  28. >
  29. >  ...
  30.  
  31. In our 1987 FPLCA paper, David Plaisted and I introduced the notation
  32.  
  33.    E contains F
  34.  
  35. with precisely the above semantics.  When there are multiple assertions of 
  36. the form
  37.  
  38.    E contains F1    
  39.    ...
  40.    E contains Fk    
  41.  
  42. we defined the semantics of E as F1 U ... U Fk.   This paradigm may be
  43. called subset-equational programming.   In our 1989 NACLP paper, we 
  44. considered the possibility of conditional assertions as well, e.g.
  45.  
  46.    E contains F   :-  condition
  47.  
  48. where the condition can be stated in terms of relational (Prolog-like) 
  49. clauses.  This paradigm may be called subset-relational progamming.  The 
  50. following papers describe various aspects of these paradigms---semantics, 
  51. application and implementation.  
  52.  
  53. 1.Functional Programming with Sets, B.Jayaraman & D.A. Plaisted, Proc.
  54.     Functional Programming Languages and Computer Architecture, 1987,
  55.     Springer LNCS 274, pp. 194-210.
  56. 2.Subset-logic Programming: Application and Implementation, B.Jayaraman and
  57.      A. Nair, Proc. 5th Intl. Conf. on Logic Prog., pp. 843-858, 
  58.     MIT Press, 1988.
  59. 3.Programming with Equations, Subsets and Relations, B.Jayaraman & D.A. 
  60.     Plaisted, Proc. N. Amer. Conf.  on Logic Programming,  pp. 1051-1068, 
  61.     MIT Press, 1989. 
  62. 4.Broader Forms of Logic Programming, B. Jayaraman, SUNY-Buffalo, TR 91-11.
  63. 5.Implementation of Subset-Equational Programs, B. Jayaraman, Journal of Logic
  64.     Programming, vol. 12, pp. 299-324,  1992.
  65. 6. Set Construtors, Finite Sets, and Logical Semantics, D. Jana and 
  66.     B. Jayaraman,  SUNY-Buffalo TR, 1992.
  67.