|
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)
¤
|
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.
|
