Tara, (01)
Am 06.11.2013 15:30, schrieb Tara Athan:
> On 11/6/13 9:22 AM, Till Mossakowski wrote:
>> I think the important point is to have a formal, mathematically precise
>> semantics, let it be model-theoretic or operational. If needed, 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.
> Till - that's really interesting, but I don't quite follow your last
> sentence. Can you elaborate or provide a link?
>
>
see this book:
http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-17335-6
p. 172, example 4.1.25 and p. 176, example 4.1.31. These examples
provide institutions for simple functional and a simple imperative
programming languages. I have some free copies of that book, if you are
interested. (02)
Best, Till (03)
_________________________________________________________________
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 (04)
|