Information Technology Reference
In-Depth Information
14. Strachey, C.: The varieties of programming language. In: Proc. Int. Computing
Symp., Cini Foundation, Venice. (1972) 222-233 A revised and slightly expanded
version is Tech. Mono. PRG-10, Oxford Univ. Comp. Lab. (March 1973)
15. Strachey, C., Wadsworth, C.P.: Continuations: A mathematical semantics for han-
dling full jumps. Higher Order Symbol. Comput. 13(1-2), 135-152 (2000) (Originally
published as Tech. Mono. PRG-11, Oxford Univ. Comput. Lab., January 1974)
16. Jones, C.B.: More on exception mechanisms [18], ch. 5, pp. 125-140
17. Bekic, H., Bjørner, D., Henhapl, W., Jones, C.B., Lucas, P.: On the formal
definition of a PL/I subset (selected parts). In: Jones, C.B (ed.) Program-
ming Languages and their Definition. LNCS, vol. 177, pp. 107-155. Springer,
Heidelberg (1984), available at
http://homepages.cs.ncl.ac.uk/cliff.jones/
home.formal/ftp-stuff/LNCS177-Bekic
Full version published as Tech. Rep.
25.139, IBM Lab. Vienna (December 1974)
18. Bjørner, D., Jones, C.B.: Formal Specification and Software Development.
Computer Science Series. Prentice-Hall, Englewood Cliffs (1982), available
19. Plat, N., Larsen, P.G.: An overview of the ISO/VDM-SL standard. SIGPLAN
Not. 27(8), 76-82 (1992)
20. Pronk, C., Schonhacker, M.: ISO/IEC 105141, the standard for Modula-2: Process
aspects. SIGPLAN Not. 31(8), 74-83 (1996)
21. Moggi, E.: An abstract view of programming languages. Technical Report ECS-
LFCS-90-113, Edinburgh Univ. (1989)
22. Plotkin, G.D., Power, A.J.: Computational effects and operations: An overview.
In: Proc. Workshop on Domains VI. Electr. Notes Theor. Comput. Sci., vol. 73,
pp. 149-163. Elsevier, Amsterdam (2004)
23. Henhapl, W., Jones, C.B.: ALGOL 60. [18], ch. 6, pp. 141-173
24. Bjørner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language.
LNCS, vol. 61. Springer, Heidelberg (1978)
25. Andrews, D.J., Henhapl, W.: Pascal. [18], ch. 7, pp. 175-252
26. Oest, O.N., Bjørner, D.: Towards a Formal Description of Ada. LNCS, vol. 98.
Springer, Heidelberg (1980)
27. Clemmensen, G.B., Oest, O.N.: Formal specification and development of an Ada
compiler - a VDM case study. In: ICSE '84: Proc. 7th Int. Conf. on Software
Engineering, pp. 430-440. IEEE Computer Society Press, Los Alamitos (1984)
28. Botta, N., Storbank Pedersen, J.: The draft formal definition of Ada, the static
semantics definition, vol. 1-4. Technical report, Dansk Datamatik Center, Lyngby,
Denmark (1987)
29. Bendix Nielsen, C., Karlsen, E.W.: The draft formal definition of Ada, the dynamic
semantics definition, vol. 1-3. Technical report, Dansk Datamatik Center, Lyngby,
Denmark (1987)
30. Giovini, A., Mazzanti, F., Reggio, G., Zucca, E.: The draft formal definition of
Ada, the dynamic semantics definition, vol. 4, Technical report, Dansk Datamatik
Center, Lyngby, Denmark (1986)
31. Astesiano, E., Reggio, G.: Direct semantics of concurrent languages in the SMoLCS
approach. IBM J. Res. Dev. 31(5), 512-534 (1987)
32. Pronk, C., Schonhacker, M.: Formal definition of programming language standards.
SIGPLAN Not. 38(8), 20-21 (2003)
33. Mosses, P.D.: Making denotational semantics less concrete. In: Proc. Int. Work-
shop on Semantics of Programming Languages, Bad Honnef. Bericht 41, Abteilung
Informatik, Universitat Dortmund, 102-109 (1977)
Search WWH ::
Custom Search