The Modula–3 type system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The Modula–3 type system

Full text

Pdf (1.19 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Austin, Texas, United States

Pages: 202 - 212

Year of Publication: 1989

ISBN:0-89791-294-2

Authors

L. Cardelli	DEC Systems Research Center (SRC)
J. Donahue	Olivetti Research Center
M. Jordan	Olivetti Research Center
B. Kalsow	DEC Systems Research Center (SRC)
G. Nelson	DEC Systems Research Center (SRC)

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 23, Citation Count: 23

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/75277.75295 What is a DOI?

ABSTRACT

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

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. Birrell , J. Guttag , J. Horning , R. Levin, Synchronization primitives for a multiprocessor: a formal specification, ACM SIGOPS Operating Systems Review, v.21 n.5, p.94-102, Nov. 1987
	2	G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
	3	Luca Cardelli, Jim Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 Report. Digital Systems Research Center, SRC-31, 1988.
	4	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	5	Butler W. Lamp.,'.on. A Description of the Cedar Language. Xerox Palo Alto Research Center, CSL-83-15, December 1983.
	6	Butler W. Lampson, James J. Homing, Ralph L. London, James G. Mitchell, and Gerald J. Popek. Report on the Programming Language Euclid. Xerox Pal() Alto Research Center, CSL- 81-12, October 1981.
	7	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980 [doi>10.1145/358818.358824]
	8	James G. Mitchell, William Maybury, and Richard Sweet. Mesa Language Manual. Xerox Palo Alto Research Center, CSL-78-1, February 1978.
	9	Paul Rovner, Roy Levin, and John Wick. On Extending Modula-2 For Building Large, Integrated Systems. Digital Systems Research Center, SRC-3, January 1985.
	10	Paul Rovner. Extending Modula-2 to Build Large, Integrated Systems. IEEE Software 3 6, November 1986.
	11	Craig Schaffert, Topher Cooper, and Carrie Wilpolt. Trellis Object-Based Environment Language Reference Manual. DEC Eastern Research Lab, DEC-Tg-372, 1985.
	12	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	13	Larry Tesler, Apple Computers. Object Pascal Report. Structured Language World 9 3, 1985.
	14	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
	15	N. Wirth, From modula to Oberon, Software—Practice & Experience, v.18 n.7, p.661-670, July 1988 [doi>10.1002/spe.4380180706]

CITED BY 23

	M. Abadi , L. Cardelli , B. Pierce , G. Plotkin, Dynamic typing in a statically-typed language, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.213-227, January 11-13, 1989, Austin, Texas, United States
	P. S. Canning , W. R. Cook , W. L. Hill , W. G. Olthoff, Interfaces for strongly-typed object-oriented programming, ACM SIGPLAN Notices, v.24 n.10, p.457-467, Oct. 1989
	John C. Mitchell, Toward a typed foundation for method specialization and inheritance, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.109-124, December 1989, San Francisco, California, United States
	Jens Palsberg, Type-based analysis and applications, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.20-27, June 2001, Snowbird, Utah, United States
	Patrick Th. Eugster , Rachid Guerraoui , Christian Heide Damm, On objects and events, ACM SIGPLAN Notices, v.36 n.11, p.254-269, 11/01/2001
	Martín Abadi , Luca Cardelli , Benjamin Pierce , Gordon Plotkin, Dynamic typing in a statically typed language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.237-268, April 1991
	Martin Odersky, Defining context-dependent syntax without using contexts, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.3, p.535-562, July 1993
	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States
	Satish Thatte, Quasi-static typing, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.367-381, December 1989, San Francisco, California, United States
	Yoav Zibin , Joseph Yossi Gil, Efficient subtyping tests with PQ-encoding, ACM SIGPLAN Notices, v.36 n.11, p.96-107, 11/01/2001
	Derek Dreyer , Karl Crary , Robert Harper, A type system for higher-order modules, ACM SIGPLAN Notices, v.38 n.1, p.236-249, January 2003
	Andrew K. Wright , Robert Cartwright, A practical soft type system for scheme, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.1, p.87-152, Jan. 1997
	Dominic Duggan, Type-Safe linking with recursive DLLs and shared libraries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.711-804, November 2002
	Roberto M. Amadio , Luca Cardelli, Subtyping recursive types, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.104-118, January 21-23, 1991, Orlando, Florida, United States
	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom
	Kathleen Fisher , Furio Honsell , John C. Mitchell, A lambda calculus of objects and method specialization, Nordic Journal of Computing, v.1 n.1, p.3-37, Spring 1994
	Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994
	Gail C. Murphy , David Notkin , Kevin J. Sullivan, Software Reflexion Models: Bridging the Gap between Design and Implementation, IEEE Transactions on Software Engineering, v.27 n.4, p.364-380, April 2001
	Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
	Pierre-Malo Deniélou , James J. Leifer, Abstraction preservation and subtyping in distributed languages, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Andrew P. Black , Norman C. Hutchinson , Eric Jul , Henry M. Levy, The development of the Emerald programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.11-1-11-51, June 09-10, 2007, San Diego, California
	Jukka Paakki , Anssi Karhinen , Tomi Silander, Orthogonal type extensions and reductions, ACM SIGPLAN Notices, v.25 n.7, p.28-38, July 1990
	Limsoon Wong, An introduction to Remy's fast polymorphic record projection, ACM SIGMOD Record, v.24 n.3, p.34-39, Sept. 1995