"Forscher entwickeln absturzsichere Computersprache"

[Gizmotic]

Klingt ja ziemlich witzig...

Amerikanische Wissenschaftler haben offenbar die Hoffnung aufgegeben, dass große Software- Unternehmen die Fehlerquellen ihrer Programme in den Griff bekommen. Sie entwickeln daher eine Computersprache, die Rechnerfehler und Abstürze unmöglich machen soll. Das berichtet das Londoner Wissenschaftsblatt "New Scientist".

Viele Programme werden derzeit in der Computersprache "C" geschrieben. Damit sich Programmierer nicht völlig umstellen müssen, entwickeln die Forscher der Cornell- Universität und der AT&T-Labors in New York eine ähnlich aufgebaute Sprache, die sie "Cyclone" nennen. Während bei "C" in der Regel der fertige Programmcode auf Fehler hin untersucht wird, soll Cyclone schon auf einfachen Ebenen der Sprache selbst Fehler vorbeugen. "C ist eine mächtige Sprache. Die Macht kann sich unversehens aber auch gegen den Nutzer wenden", erklärt Graham Hutton von der Universität Nottingham. "Die gleichen Möglichkeiten mit einer Sprache zu haben, die mehr Sicherungen enthält, ist daher bestimmt gut".

Bisher haben die Forscher allerdings nur einfache Webserver mit der neuen Sprache programmiert. Damit ist Cyclone den Beweis für seine Praxistauglichkeit noch schuldig. Diese zeigt sich erst bei umfangreichen Programmen.
Cyclone soll erstmals kommenden Juni in Berlin auf der Konferenz "Sprach-Entwicklung und Anwendung" ("Language Design and Implementation") öffentlich vorgestellt werden.

Quelle:http://www.wissenschaft.de/sixcms/detail.php?id=107365