home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / math / 13046 < prev    next >
Encoding:
Text File  |  1992-10-12  |  937 b   |  29 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!world!rjk
  3. From: rjk@world.std.com (robert j kolker)
  4. Subject: What mathematics underlies OOP
  5. Message-ID: <Bw0B3w.2x8@world.std.com>
  6. Summary: Mathematical theory or model underlying object oriented programming
  7. Keywords: OOP,Mathematics
  8. Organization: The World Public Access UNIX, Brookline, MA
  9. Date: Mon, 12 Oct 1992 11:40:43 GMT
  10. Lines: 17
  11.  
  12.  
  13. THe mathematics underlying relational databases is the algebra of n-adic
  14. relations with some restriction on complementation.
  15.  
  16. The mathatematics underlying PROLOG and other types of rules based
  17. programming is first order predicate calculus usually restricted to Horn
  18. Clauses.
  19.  
  20. The mathematics underlying applicative function languages is Lambda Calculus.
  21.  
  22. Now, what is the mathematics underlying object oriented programming?
  23.  
  24. Your opinions, please.
  25.  
  26. Conan the Libertarian rjk@world.std.com
  27. "If you can't love the Constitution, at least hate the Government"
  28.  
  29.