home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / specific / 514 < prev    next >
Encoding:
Text File  |  1992-11-05  |  839 b   |  25 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!utcsri!torn!watserv2.uwaterloo.ca!watmath!math!dmason
  3. From: dmason@uwaterloo.ca (Dave Mason)
  4. Subject: Re: Semantic definition style
  5. In-Reply-To: song@minster.york.ac.uk's message of 3 Nov 92 14:46:29 GMT
  6. Message-ID: <DMASON.92Nov5131527@plg.uwaterloo.ca>
  7. Sender: news@math.uwaterloo.ca (News Owner)
  8. Organization: /u2/dmason/.organization
  9. References: <720801988.16035@minster.york.ac.uk>
  10. Date: Thu, 5 Nov 1992 17:15:27 GMT
  11. Lines: 12
  12.  
  13. In article <720801988.16035@minster.york.ac.uk> song@minster.york.ac.uk writes:
  14.  
  15. > I am aware that there are four different styles to define semantics.
  16. >     operational
  17. >     denotational
  18. >     algebraic 
  19. >     axiomatic
  20.  
  21. There is also action semantics, as describes by Mosses.  In many ways,
  22. action semantics is better than the others, but it's also newer.
  23.  
  24. ../Dave
  25.