Re: [ontoiop-forum] Fwd: comments for RFP section 6.1

[Kiyong Lee <ikiyong@xxxxxxxxx>]

Dear Till,

Could I get a free copy of the book?

Thanks in advance,

Kiyong

From Kiyong Lee
ISO/TC 37/SC 4/WG 2 convenor  and Secretariat support 
Professor emeritus, Korea University
ikiyong@xxxxxxxxx (primary), klee@xxxxxxxxxxx

Mobile: +82-(0)10-5-234-6256

 

2013/11/6 Till Mossakowski <mossakow@xxxxxxxxxxxxxxxxxxxxxxx>

Tara,

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.

Best, Till

_________________________________________________________________
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

_________________________________________________________________
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    (01)