Re: [isabelle] IMP Theories of the Book 'Concrete Semantics'



The main text is practically finished, we are currently working on the exercises
only - we add them incrementally. At some point we do intend to announce a release.

Tobias

Am 20/10/2013 20:21, schrieb Gergely Buday:
> Dear Mr. Nipkow,
> 
> from the hg id I guess that this is under development. Will there be a release
> for the book?
> 
> - Gergely
> 
> 
> On 13 October 2013 15:53, Tobias Nipkow <nipkow at in.tum.de
> <mailto:nipkow at in.tum.de>> wrote:
> 
>     Dear Alfio,
> 
>     The IMP theories are indeed the ones in the distribution, but you need
>     Isabelle2013-1 for that, not Isabelle2013.
> 
>     Thank you for your kind words.
>     Tobias
> 
>     Am 13/10/2013 15:40, schrieb Alfio Martini:
>     > Dear Tobias and Gerwin,
>     >
>     > First of all, thank you both for the excellent book on Concrete Semantics.
>     > It is very polished
>     > and contains a  wealth of material that is nowhere to be found in a single
>     > book.
>     > Besides,  its innovative, concrete approach with the Isabelle proof
>     > assistant
>     > will certainly increase the interest of many computing professionals and
>     > students alike for the study of semantics of programming languages.
>     >
>     > However, in the page
>     >
>     > http://www21.in.tum.de/~nipkow/semantics/,
>     >
>     > the IMP theories (either as .thy files or as a PDF document) are not
>     > available (broken link). Can I assume that they are the ones that
>     > are distributed with Isabelle?
>     >
>     > Best!
>     >
> 
> 




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.