[linux-l] Verifizierbarkeit bei Rekursion (was: FP/Java vs. OCaml)
olafBuddenhagen at gmx.net
olafBuddenhagen at gmx.net
Fr Sep 30 09:11:16 CEST 2005
Hallo,
> > Deshalb hat er beschlossen die Sache selbst in die Hand zu nehmen
> > und mit seinen Mannen eine spezielle Sprache zu entwickeln, die
> > verifizierbar ist, und sich trotzdem zum Schreiben von Mikrokerneln
> > eignet...
>
>
> interessant.
>
> Haste da mal nen passenden Link?
Nö. Selber googeln :-)
Ehrlich gesagt interessiert mich das Thema überhaupt nicht; er hat es
halt unter anderem erwähnt...
> Gibt's schon nen namen für diese neue Sprache?
BitC, hab'sch doch geschrieben.
-Olaf-
Mehr Informationen über die Mailingliste linux-l