Abstract
NewSpeak is a language for programming real-time safety-critical systems. Its distinguishing feature is the property of unexceptionality the property that any successfully compiled program will not raise a runtime exception. In this paper we describe a denotational semantics for NewSpeak written in VDM-SL, which ensures that it is unexceptional. We also discuss the implications of using VDM-SL for the semantic definitions, from the point of view of development of specifications.
Cite
CITATION STYLE
Mukherjee, P. (1994). A semantics for newspeak in VDM-SL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 873 LNCS, pp. 480–501). Springer Verlag. https://doi.org/10.1007/3-540-58555-9_111
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
