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



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> 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.