[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