Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Paul Mukherjee

The programming language NewSpeak? is a language designed
specifically for use in safety-critical systems. It employs
the notion of Orwellian programming - undesirable properties
are avoided by restricting the syntax of the programming
language. This is a formal semantics for the language in
VDM-SL. Details of the language and its semantics:

P. Mukherjee, "A Semantics for NewSpeak? in VDM-SL". In
T. Denvir, M. Naftalin, M. Bertran (eds), "FME '94:
Industrial Benefit of Formal Methods", Springer-Verlag,
October 1994.

I.F. Currie, "NewSpeak - a reliable programming language".
In C. Sennett (ed), "High-Integrity Software", Pitman 1989.

Language Version: vdm10
Entry point : DEFAULT`max({3,1,5,8,3,2,5,4,22})

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.