References:
Dahl, O. J. (1957) Dahl, O. J. "Mercury automatic coding" Norwegian Board of Defense, 1957 E A
Dahl, O.-J. (1957) Dahl, O.-J. "Multiple index countings on the Ferranti Mercury computer" Oslo: Norwegian Defence Research Establishment, 1957.
E A
Dahl, Ole-Johan (1957) Dahl, Ole-Johan "Autocoding for the FERRANTI Mercury Computer (MAC)" Norwegian Defense Research Establishment, Sept. 1957, Oslo, Norway E A
Dahl, O.-J.; and Garwick, Jan V. (1958) Dahl, O.-J.; and Garwick, Jan V. "Programmer's handbook for the Ferranti Mercury Computer, Frederic at the Norwegian Defense Research Establishment" 2nd ed., Kjeller : Norwegian Defence Research Establishment, 1958. E A
Dahl, Ole-Johann (1962) Dahl, Ole-Johann "Remarks on the use of symbols in ALGOL" BIT 621
7
E A
Dahl, O. J., and Nygaard, K. (1963) Dahl, O. J., and Nygaard, K. "Preliminary presentation of the SIMULA language (as of May 18th, 1963), and some examples of network descriptions" Norwegian Comput. Center, Forsknongsveien, 1B, Oslo, Norway. E A
Bell, Vic and Dahl, Ole-Johan (1963) Bell, Vic and Dahl, Ole-Johan "Simscript implementation" Oslo: Norwegian Computing Center, 1963. E A
Dahl, O.-J. (1963) Dahl, O.-J. "The Simula Storage Allocation Scheme" Norwegian Computing Center Doc. 162, 1963. E A
Dahl, 0. J., and Nygaard, K. (1965) (1965) Dahl, 0. J., and Nygaard, K. (1965) "SIMULA: A language for programming and description of discrete event system, introduction and user's manual" Norwegian Comput. Center, Forsknongsveien 1B, Oslo, Norway E A
Dahl, Ole-johan, and Kristen Nygaard, (1965) Dahl, Ole-johan, and Kristen Nygaard, "Basic concepts of SIMULA, an ALGOL based simulation language" pp116-124 E A
in Hollingdale, S.M. (ed.) (1965) Hollingdale, S.M. (ed.) "Digital Simulation in Operations Research", English Universities Press, London, 1965 E
Dahl, Ole-johan, and Kristen Nygaard, (1966) Dahl, Ole-johan, and Kristen Nygaard, "SIMULA – An ALGOL-Based Simulation Language" E A
DOI
in [ACM] (1966) [ACM] CACM 9(09) September 1966 E
Dahl, O.J., Nygaard,K., SIMULA - A Language for Pr (1966) Dahl, O.J., Nygaard,K., SIMULA - A Language for Programming and Description of Discrete Event Systems. Introduction and User's Manual. Norwegian Computing Center, Forskningsveien 1B, Oslo 3, Norway 1966. E A
in [ACM] (1966) [ACM] CACM 9(09) September 1966 E
Dahl, O.J., Myhrhaug, B., Nygaard, K., SIMULA 67 - (1968) Dahl, O.J., Myhrhaug, B., Nygaard, K., SIMULA 67 - Common Base Language. Norwegian Computing Center Forskningveien 1B, Oslo 3, Norway (May 1968). E A
in [ACM] (1966) [ACM] CACM 9(09) September 1966 E
Dahl, O.-J. (1968) Dahl, O.-J. "Discrete event simulation languages" (notes from NATO school lectures) pp 349-394 E A
in Genuys, F. (1968) Genuys, F. ed.: Programming Languages. Academic Press, London, 1968 E
Dahl, Ole-Johan; Myhrhaug, Bjørn; Nygaard, Kristen (1968) Dahl, Ole-Johan; Myhrhaug, Bjørn; Nygaard, Kristen "Some features of the SIMULA 67 language"
E A
in [Proceedings] (1968) Proceedings of the second conference on Applications of simulations, 1968, New York, New York, United States E
Dahl, O.-J. and Nygaard, K. (1968) Dahl, O.-J. and Nygaard, K. "Class and subclass declarations" E A
in Buxton, J. (1968) Buxton, J. ed.: Simulation Programming Languages. Proceedings from the IFIP Working Conference in Oslo, May 1967, North Holland, 1968. E
Birtwistle G.M., Dahl O.-J., Myhrhaug B., Nygaard (1973) Birtwistle G.M., Dahl O.-J., Myhrhaug B., Nygaard K., "SIMULA Begin" Auerbach Publishers Inc., Philadelphia Pa., 1973 E A
in Buxton, J. (1968) Buxton, J. ed.: Simulation Programming Languages. Proceedings from the IFIP Working Conference in Oslo, May 1967, North Holland, 1968. E
Birtwistle, G. M.; Dahl, O-J.; Myhrhaug, B. and Ny (1973) Birtwistle, G. M.; Dahl, O-J.; Myhrhaug, B. and Nygaard, K. "Simula begin", Studentlitteratur, Lund, Sweden, 1973. E A
in Buxton, J. (1968) Buxton, J. ed.: Simulation Programming Languages. Proceedings from the IFIP Working Conference in Oslo, May 1967, North Holland, 1968. E
Nygaard, K. and Dahl, O.J. (1978) Nygaard, K. and Dahl, O.J. "The development of the Simula languages" E A
DOI
in [HOPL I] (1979) SIGPLAN Notices 14(04) April 1979 including The first ACM SIGPLAN conference on History of programming languages (HOPL) Los Angeles, CA, June 1-3, 1978 E
Dahl et al (1986) Dahl, O.-J.; Langmyhr, D.F. and Owe. O. "Preliminary report on the specification and programming language ABEL" Research report 106, University of Oslo, December 1986. E A
in [HOPL I] (1979) SIGPLAN Notices 14(04) April 1979 including The first ACM SIGPLAN conference on History of programming languages (HOPL) Los Angeles, CA, June 1-3, 1978 E
Dahl and Owe (1991) Dahl, O.-J. and Owe, O. "Formal Development with ABEL" In VDM91,
LNCS 552, pp320-363. E A
ps
Extract:
Introduction
in [HOPL I] (1979) SIGPLAN Notices 14(04) April 1979 including The first ACM SIGPLAN conference on History of programming languages (HOPL) Los Angeles, CA, June 1-3, 1978 E
Dahl (1992) Dahl, O.-J. "Verifiable programming" International Series in Computer Science Addison-Wesley, 1992. E A
in [HOPL I] (1979) SIGPLAN Notices 14(04) April 1979 including The first ACM SIGPLAN conference on History of programming languages (HOPL) Los Angeles, CA, June 1-3, 1978 E
Kristofferson and Dahl (1998) Kristofferson, Bjorn and Dahl, Ole-Johan "On Introducing Higher Order Functions in ABEL" Nordic Journal of Computing March 1998. E A
in [HOPL I] (1979) SIGPLAN Notices 14(04) April 1979 including The first ACM SIGPLAN conference on History of programming languages (HOPL) Los Angeles, CA, June 1-3, 1978 E
Dahl et al (1998) Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J. "Subtyping and constructive specification" Nordic Journal of Computing 5(1) Spring 1998 pp19-49 E A
in [HOPL I] (1979) SIGPLAN Notices 14(04) April 1979 including The first ACM SIGPLAN conference on History of programming languages (HOPL) Los Angeles, CA, June 1-3, 1978 E
|
