See the following publication for a description:
http://www.ertos.nicta.com.au/publications/papers/Tuch_KN_07.abstract.pml
http://www.ertos.nicta.com.au/publications/papers/Tuch_KN_07.pdf
Cheers,
Harvey
On Sun, June 10, 2007 19:11, Pierre THIERRY wrote:
> Scribit Gernot Heiser dies 10/06/2007 hora 14:40:
>
>> One such step is (5)->(6). This is done automatically, using a formal
>> semantics (in Isabelle) of our subset of C
>
> What is this subset?
>
>
> Curiously,
> Pierre
> --
> [email protected] OpenPGP 0xD9D50D8A
> _______________________________________________
> L4-hurd mailing list
> [email protected]
> http://lists.gnu.org/mailman/listinfo/l4-hurd
>
>
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.