home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / function / 1457 < prev    next >
Encoding:
Text File  |  1992-12-14  |  4.1 KB  |  90 lines
  1. Newsgroups: comp.lang.functional
  2. Path: sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!marlin.jcu.edu.au!coral.cs.jcu.edu.au!farrell
  3. From: farrell@coral.cs.jcu.edu.au (John Farrell)
  4. Subject: Re: The OBJ language
  5. Message-ID: <farrell.724383633@coral>
  6. Sender: news@marlin.jcu.edu.au (USENET News System)
  7. Organization: James Cook University
  8. References: <1992Dec14.093136.23648@netcom.com>
  9. Date: 15 Dec 92 01:40:33 GMT
  10. Lines: 78
  11.  
  12. In <1992Dec14.093136.23648@netcom.com> richmcdm@netcom.com (Richard McConnell) writes:
  13. >I've recently read a paper which describes a language called OBJ, and I'm 
  14. >wondering if anyone knows where I could go for more info.t
  15.  
  16. This is a good opportunity to advertise the wonderful world of wais. Wais is
  17. like anonymous ftp with keyword searching. I have a wais database which is
  18. (a) accessible by the whole world and (b) oriented towards functional
  19. programming. It contains mostly abstracts and news articles giving references,
  20. so hopefully it can be used to get initial pointers to areas of interest.
  21. Here is what it said about OBJ: (BTW my database contains a list of public
  22. domain compilers and interpreters, and OBj is not mentioned in there, except
  23. as in the extension .obj).
  24.  
  25. %T OBJ as a Theorem Prover
  26. %A J.A. Goguen
  27. %I gogu88
  28. %S Report SRI-CSL-88-4R (Revised), Computer Science Laboratory, SRI International, Menlo Park, CA, 1988
  29. %C This paper states, justifies, and illustrates some new techniques for using an equational logic based programming language like OBJ as a theorem prover. These techniques avoid the complexities of both higher order logic and, Knuth-Bendix completion.
  30. ----------------------------------------------------------------------
  31. %T An Introduction to OBJ:A Language for Writing and Testing Formal Algebraic Program Specification
  32. %A J.A. Goguen, J.J. Tardo
  33. %I gogu79
  34. %S  IEEE Transactions on SE5, 1979
  35. ----------------------------------------------------------------------
  36. %T Rapid Prototyping in the OBJ Executable Specification Language
  37. %A J.A. Goguen
  38. %I gogu82
  39. %S Proc. Rapid Prototyping Workshop, Columbia, Maryland, 1982, also in SIGSE 7,5, 1983
  40. ----------------------------------------------------------------------
  41. %T Programming with Parameterized Abstract Objects in OBJ
  42. %A J.A. Goguen, et al.
  43. %I gogu83
  44. %S In ``Theory and Practice of Software Technology'' ed. D. Ferrari, et al., North Holland, 1983
  45. ----------------------------------------------------------------------
  46. %T Merged Views, Closed Worlds and Ordered Sets: Some Novel Database Features in OBJ
  47. %A J.A. Goguen
  48. %I gogu85
  49. %S Proc. 1982 Workshop on Database Semantics and Interfaces, Univ. Pennsylvania, 1985
  50. ----------------------------------------------------------------------
  51. %T The Rewrite Rule Machine
  52. %A J. Goguen, S. Leinwand, J. Meseguer, T. Winkler
  53. %I gogu89
  54. %S Technical Monograph PRG-76, Oxford University Computing Laboratory, 1989
  55. %K OBJ, RRM, logic, relational, OOP, object oriented
  56.  
  57.  
  58.   If you have wais, the source is listed below, or it can be easily obtained
  59. from the directory-of-servers. If you don't have wais, subscribe to
  60. comp.infosystems.wais and find someone to ask.
  61.   BTW, if anyone has anything they think would be useful in my database, send
  62. it to me and I'll whack it in. It needs to be in plain text format to make the
  63. indexing work, PostScript documents are a waste of time.
  64.  
  65. John
  66. ---
  67. (:source 
  68.    :version  3 
  69.    :ip-address "137.219.17.4"
  70.    :ip-name "coral.cs.jcu.edu.au"
  71.    :tcp-port 8000
  72.    :database-name "Func-Prog-Abstracts"
  73.    :cost 0.00 
  74.    :cost-unit :free 
  75.    :maintainer "farrell@coral.cs.jcu.edu.au"
  76.    :description "Server created with WAIS release 8 b3.1 on Apr 22 19:06:25 1992 by farrell@coral.cs.jcu.edu.au
  77.  
  78. Keywords: help intro introduction info information computer science technical
  79.           reports functional programming
  80.  
  81. This is a small collection of computer science technical reports, abstracts
  82. and papers gathered from ftp sites etc. all over the world. Due to space
  83. considerations, I am limiting it to functional programming, my area of
  84. interest, and papers produced by the department (which may or may not be
  85. related to functional programming).
  86.  
  87. Comments, problems etc to the maintainer above.
  88. "
  89. )
  90.