A view of formal semantics
1989, Computer Standards & Interfaces
https://doi.org/10.1016/0920-5489(89)90039-1Abstract
Most language definitions strike compromises be-DK 8000 Aarhus C, Denmark tween these goals, and it may be that no single Charles RATTRAY document can adequately address all audiences. Because informal methods are inadequate, re
References (9)
- misinterpretation. Any discrepancy between the two indicates an Ill D. Bjorner and C.B. Jones. The Vienna Development error in the standard which is to be resolved Method. The Metalanguage, Lecture Notes in Computer through normal standards channels. Science, No. 61 (Springer-Verlag, 1978).
- Any standards committee has to do its work [21 E.W. Dijkstra, "Guarded commands, non-determinancy and formal program derivation"~ Comm. ACM, Vol. 18, with the tools available; inevitably, language yo. 8(1975). standards committees charged with the task of [31 K. Futatsugi et al., "Principles of OBJ2", Proc. ACM producing a draft standard by a given date will Con/. on Principles of Programming Languages (1984). tend to use existing methods, whether formal or
- C.A.R. Hoare, "The axiomatic basis of computer pro- gramming", Comm. ACM, Vol. 12, No. 10 (1969). informal, following their own perceptions of what [$] G. Jeter and D. Dillard, Survey of Formal Specification is most suitable for their language and its user Techniques, ANSI X3Jll (Language "C")Ad hoc Corn- community, taking into account its past history, mittee Report 1983-08-20, also circulated as ISO/TC97/ Yet we conclude, as a result of our survey, that SC5/WG16/NS1 = ISO/TC97/SC22/WG10/N51. methods, both formal and informal, which are [61 P.D. Mosses and D.A. Watt "The potential use of Action Semantics in standards", position paper FS/NO15 for better than existing ones should continue to be ISO/TC97/SC22/WG10 subgroup on formal semantics). sought. As far as formal methods are concerned, Computer Science Dept., Aarhus University; Computing the style of "action semantics" is of great interest Science Dept., University of Glasgow (1986). as a readable presentation technique, and VDM
- P.D. Mosses and D.A, Watt, Pascal -Action Semantics. and SMOLCS together appear to have enough power, Computer Science Department, Aarhus University (1986). but more research remains to be done.
- G.D. Plotkin, Structural Operational Semantics, Lecture notes, DAIMI FN-19, Comp. Sc. Dept., Aarhus Univ., For the reasons stated, it is unrealistic to expect Denmark (1981).
- J.E. Stoy, Denotational Semantics: The Scott-Strachey Ap- one language to generate the innovations required proach to Programming Language Theoo', MIT Press for major progress; their priorities are quite differ- (1977).
- However, we do recommend that the parent
- R.D. Tennent, "The denotational semantics of program- ming languages" Comm. ACM, Vol. 19, No. 8 (1976). committees of the various national and interna-
- P. Wegner, "The Vienna definition language", ACM tional language committees, even if they are not in Comp. Surt,eys, Vol. 4, No. 1 (1972).