论文信息 - The Modula–3 type system - 字舞流文

The Modula–3 type system

This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.

Luca Cardelli | James E. Donahue | Mick J. Jordan | Bill Kalsow | Greg Nelson | Greg Nelson | L. Cardelli | J. Donahue | Bill Kalsow

[1] Niklaus Wirth,et al. From modula to oberon , 1988, Softw. Pract. Exp..

[2] J. J. Horning,et al. Report on the programming language Euclid , 1977, SIGP.

[3] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.

[4] Luca Cardelli,et al. Modula-3 Report. , 1988 .

[5] James J. Horning,et al. Synchronization Primitives for a Multiprocessor: A Formal Speci cation , 1987 .

[6] Niklaus Wirth,et al. Programming in Modula-2 , 1985, Texts and Monographs in Computer Science.

[7] Butler W. Lampson,et al. Experience with processes and monitors in Mesa , 1980, CACM.

[8] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..

[9] H. Lipkin. Where is the ?c? , 1978 .

[10] Paul Rovner. Extending Modula-2 to Build Large, Integrated Systems , 1986, IEEE Software.

[11] Niklaus Wirth,et al. From Modula to Oberon and the programming language Oberon , 1987 .

[12] O. J. Dahl,et al. Simula Begin , 1979 .