| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/newspeakSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 756 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28