On 11/6/2013 9:22 AM, Till Mossakowski wrote:
> an operational semantics can be turned into a model-theoretic one, by
> considering expressions to be sentences which have a singleton model
> class consisting of their operational semantics. (01)
For compiler writers, the method of defining operational semantics
by preconditions and postconditions is the most familiar. (02)
You can use any suitable logic to state the conditions, and the
methods for translating such spec's to executable code are widely
used and well understood. (03)
John (04)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (05)
|