Re: Semantic definition style

Article View: comp.specification

Article #252

Back to comp.specification Previous Next

#252

From: Dave Mason
Date: Thu, 05 Nov 1992 17:15

12 lines
863 bytes

In article <720801988.16035@minster.york.ac.uk> song@minster.york.ac.uk writes:

> I am aware that there are four different styles to define semantics.
> 	operational
> 	denotational
> 	algebraic 
> 	axiomatic

There is also action semantics, as describes by Mosses.  In many ways,
action semantics is better than the others, but it's also newer.

../Dave

Technical Details

Message-ID: <DMASON.92Nov5131527@plg.uwaterloo.ca>

Path: arc1-ca.pugleaf.net!sparky!uunet!utcsri!torn!watserv2.uwaterloo.ca!watmath!math!dmason

References: <720801988.16035@minster.york.ac.uk>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!utcsri!torn!watserv2.uwaterloo.ca!watmath!math!dmason
From: dmason@uwaterloo.ca (Dave Mason)
Subject: Re: Semantic definition style
In-Reply-To: song@minster.york.ac.uk's message of 3 Nov 92 14:46:29 GMT
Message-ID: <DMASON.92Nov5131527@plg.uwaterloo.ca>
Sender: news@math.uwaterloo.ca (News Owner)
Organization: /u2/dmason/.organization
References: <720801988.16035@minster.york.ac.uk>
Date: Thu, 5 Nov 1992 17:15:27 GMT
Lines: 12

Reply to Parent Message