Re: [isabelle] Using the Parallel library

Hi Jens,

> please specify the categories executability, provability. What is the
> common ground of these?

a good practical introduction is §3 in the tutorial of code generation.

The use of the terms »provability« and »executability« in my answer was
indeed a little bit sloppy; »provability and succintness« refers how
»easy« properties can be derived from the specification as given in the
theory, »optimization of executability« refers to optimization of the
resulting executable program.


Attachment: OpenPGP_signature
Description: OpenPGP digital signature

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