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.

Cheers,
	Florian

Attachment: OpenPGP_signature
Description: OpenPGP digital signature



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