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 > > _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
