VDM Semantics of Programming Languages: Combinators and Monads - Formal Methods and Hybrid Real-Time Systems - page 502

and by his use of VDM in major projects such as the formal descriptions of PL/I
and Ada, Dines has had a profound influence on the development and practical
application of denotational semantics. Personally, I have benefited immensely
from contact with him since we first met in the early 1970s. In particular, Dines
arranged for me to be involved as an observer in DDC's project to develop an
Ada compiler from its VDM semantics, and he helped me become a member
of IFIP Working Group 2.2 (on Formal Description of Programming Concepts ).
His expertise, friendship and hospitality have always seemed limitless.
Hjertelig tillykke med de 70 ar, Dines!
References
1. Wegner, P.: The Vienna Definition Language. ACM Comput. Surv. 4(1), 5-63
(1972)
2. Jones, C.B.: The transition from VDL to VDM. J. UCS 7(8), 631-640 (2001)
3. Scott, D.S., Strachey, C.: Towards a mathematical semantics for computer lan-
guages. In: Proc. Symp. on Computers and Automata. Microwave Research Inst.
Symposia, vol. 21, pp. 19-46. Polytechnic Institute of Brooklyn (1971) (Also Tech.
Mono. PRG-6, Oxford Univ. Comp. Lab.) (August, 1971)
4. Strachey, C.: Towards a formal semantics. In: Steel Jr., T.B. (ed.) Formal Language
Description Languages for Computer Programming, Proc. IFIP Work. Conf., Vi-
enna, 1964, pp. 198-220. North-Holland, Amsterdam (1966)
5. Strachey, C.: Fundamental concepts in programming languages. Higher-Order and
Symbolic Computation 13(1/2), 11-49 (2000) (Originally lecture notes, NATO
Copenhagen Summer School, 1967)
6. Landin, P.J.: Correspondence between ALGOL 60 and Church's lambda-notation:
Part I. Commun. ACM 8(2), 89-101 (1965)
7. Scott, D.S.: Outline of a mathematical theory of computation. In: Proc. Fourth An-
nual Princeton Conf. on Information Sciences and Systems, pp. 169-176. Princeton
University (1970) (Superseded by Tech. Mono. PRG-2, Oxford Univ. Comp. Lab.)
8. Backus, J.W., Bauer, F.L., Green, J., Katz, C., McCarthy, J., Perlis, A.J.,
Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J.H., van Wijngaarden,
A., Woodger, M.: Revised report on the algorithmic language ALGOL 60. Com-
mun. ACM 6(1), 1-17 (1963)
9. Mosses, P.D.: Denotational semantics. In: van Leeuwen, J. (ed.) Handbook of The-
oretical Computer Science, vol. B, Elsevier, Amsterdam (1990)
10. Schmidt, D.A.: Denotational Semantics: A Methodology for Language Develop-
ment. Allyn and Bacon (1986), available at
http://people.cis.ksu.edu/ ∼ schmidt/text/densem.html
11. Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming
Language Theory. The MIT Press Series in Computer Science, vol. 1. MIT Press,
Cambridge (1977)
12. Tennent, R.D.: The denotational semantics of programming languages. Commun.
ACM 19(8), 437-453 (1976)
13. Gordon, M.J.C.: The Denotational Description of Programming Languages: An
Introduction. Springer, Heidelberg (1979)