Typechecking and modules for multimethods

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Typechecking and modules for multimethods

Full text

Pdf (2.90 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 17 , Issue 6 (November 1995) table of contents

Pages: 805 - 843

Year of Publication: 1995

ISSN:0164-0925

Authors

Craig Chambers	University of Washington
Gary T. Leavens	lowa State University

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

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/218570.218571 What is a DOI?

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	Rakesh Agrawal , Linda G. Demichiel , Bruce G. Lindsay, Static type checking of multi-methods, ACM SIGPLAN Notices, v.26 n.11, p.113-128, Nov. 1991
	2	Pierre America, Inheritance and subtyping in a parallel object-oriented language, European conference on object-oriented programming on ECOOP '87, p.234-242, October 1987, Paris, France
	3	Pierre America , Frank van der Linden, A parallel object-oriented language with inheritance and subtyping, ACM SIGPLAN Notices, v.25 n.10, p.161-168, Oct. 1990
	4	Eric Amiel , Olivier Gruber , Eric Simon, Optimizing multi-method dispatch using compressed dispatch tables, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, p.244-258, October 23-28, 1994, Portland, Oregon, United States
	5	John G. Barnes, Programming in Ada (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
	6	Daniel G. Bobrow , Linda G. DeMichiel , Richard P. Gabriel , Sonya E. Keene , Gregor Kiczales , David A. Moon, Common Lisp Object System specification, ACM SIGPLAN Notices, v.23 n.SI, p.1-142, September 1988 [doi>10.1145/885631.885632]
	7	Gilad Bracha , David Griswold, Strongtalk: typechecking Smalltalk in a production environment, ACM SIGPLAN Notices, v.28 n.10, p.215-230, Oct. 1, 1993
	8	BRUCE, K. B., CARDELLI, L., CASTAGNA, G., THE HOPKINS OBJECTS GROUP, LEAVENS, G. T., AND PIERCE, B. 1995. On binary methods. Tech. Rep. 95-08, Dept. of Computer Science, Iowa State Univ., Ames, Iowa. May.
	9	Kim B. Bruce , Jon Crabtree , Thomas P. Murtagh , Robert van Gent , Allyn Dimock , Robert Muller, Safe and decidable type checking in an object-oriented language, ACM SIGPLAN Notices, v.28 n.10, p.29-46, Oct. 1, 1993
	10	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
	11	Luca Cardelli, A semantics of multiple inheritance, Information and Computation, v.76 n.2-3, p.138-164, February/March 1988 [doi>10.1016/0890-5401(88)90007-7]
	12	Luca Cardelli , John C. Mitchell, Operations on records, Proceedings of the fifth international conference on Mathematical foundations of programming semantics, p.22-52, July 1990, New Orleans, Louisiana, United States
	13	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	14	Giuseppe Castagna , Giorgio Ghelli , Giuseppe Longo, A calculus for overloaded functions with subtyping, Proceedings of the 1992 ACM conference on LISP and functional programming, p.182-192, June 22-24, 1992, San Francisco, California, United States
	15	Craig Chambers, Object-Oriented Multi-Methods in Cecil, Proceedings of the European Conference on Object-Oriented Programming, p.33-56, June 29-July 03, 1992
	16	CHAMBERS, C. 1993. The Cecil language: Specification and rationale. Tech. Rep. 93-03-05, Dept. of Computer Science and Engineering, Univ. of Washington, Seattle, Wash. Mar.
	17	Craig Chambers , Gary T. Leavens, Typechecking and modules for multi-methods, ACM SIGPLAN Notices, v.29 n.10, p.1-15, Oct. 1994
	18	CHAMBERS, C. AND LEAVENS, G.T. 1995. Typechecking and modules for mulh-methods. Tech. Rep. 95-08-05, Dept. of Computer Science and Engineering, Univ of Washington, Seattle, Wash., Aug., and Tech. Rep. 95-19, Dept. of Computer Science, Iowa State Univ., Ames, Iowa. June
	19	Weimin Chen , Volker Turau , Wolfgang Klas, Efficient Dynamic Look-Up Strategy for Multi-Methods, Proceedings of the 8th European Conference on Object-Oriented Programming, p.408-431, July 04-08, 1994
	20	William R. Cook, Object-Oriented Programming Versus Abstract Data Types, Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages, p.151-178, May 28-June 01, 1990
	21	William R. Cook, Interfaces and specifications for the Smalltalk-80 collection classes, ACM SIGPLAN Notices, v.27 n.10, p.1-15, Oct. 1992
	22	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 [doi>10.1145/96709.96721]
	23	DOD. 1983. Reference Manual for the Ada Programmzng Language. ANSI/MIL-STD 1815A, U.S. Dept. of Defense, Washington, D.C.
	24	Giorgio Ghelli, A static type system for message passing, ACM SIGPLAN Notices, v.26 n.11, p.129-145, Nov. 1991
	25	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	26	GOGUEN, J.A. 1984. Parameterized programming. IEEE Trans. Softw. Eng. 10, 5 (Sept.), 528-543.
	27	William Harrison , Harold Ossher, Subject-oriented programming: a critique of pure objects, ACM SIGPLAN Notices, v.28 n.10, p.411-428, Oct. 1, 1993
	28	Urs Hölzle, Integrating Independently-Developed Components in Object-Oriented Languages, Proceedings of the 7th European Conference on Object-Oriented Programming, p.36-56, July 26-30, 1993
	29	HUDAK, P., PEYTON JONES, S., WADLER, P., BOUTEL, B., FAIRBAIRN, J., FASEL, J., GUZML~N, M. M.,
	30	Paul Hudak , Simon Peyton Jones , Philip Wadler , Brian Boutel , Jon Fairbairn , Joseph Fasel , María M. Guzmán , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Will Partain , John Peterson, Report on the programming language Haskell: a non-strict, purely functional language version 1.2, ACM SIGPLAN Notices, v.27 n.5, p.1-164, May 1992 [doi>10.1145/130697.130699]
	31	Gary T. Leavens, Modular Specification and Verification of Object-Oriented Programs, IEEE Software, v.8 n.4, p.72-80, July 1991 [doi>10.1109/52.300040]
	32	Gary T. Leavens , William E. Weihl, Reasoning about object-oriented programs that use subtypes, ACM SIGPLAN Notices, v.25 n.10, p.212-223, Oct. 1990
	33	Barbara Liskov , Stephen Zilles, Programming with abstract data types, Proceedings of the ACM SIGPLAN symposium on Very high level languages, p.50-59, March 28-29, 1974, Santa Monica, California, United States
	34	B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
	35	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	36	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	37	Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	38	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	39	MOSSENBOCK, H. AND WIRTH, N. 1991. The programming language Oberon-2. Struct. Program. 12, 4.
	40	Warwick B. Mugridge , John Hamer , John G. Hosking, Multi-Methods in a Statically-Typed Programming Language, Proceedings of the European Conference on Object-Oriented Programming, p.307-324, July 15-19, 1991
	41	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	42	Andreas Paepcke, Object-oriented programming: the CLOS perspective, MIT Press, Cambridge, MA, 1993
	43	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type systems, John Wiley and Sons Ltd., Chichester, UK, 1994
	44	PARNAS, D.L. 1971. Information distribution aspects of design methodology. In Proceedings of IFIP Congress 71. IFIP, Montvale, N.J.
	45	D. L. Parnas, A technique for software module specification with examples, Communications of the ACM, v.15 n.5, p.330-336, May 1972 [doi>10.1145/355602.361309]
	46	Laurence C. Paulson, ML for the working programmer, Cambridge University Press, New York, NY, 1991
	47	PIERCE, B. J. AND TURNER, D.N. 1992. Statically typed multi-methods via partially abstract types. Unpublished manuscript. Oct.
	48	John C. Reynolds, Using category theory to design implicit conversions and generic operators, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.211-258, January 14-18, 1980
	49	Francois Rouaix, Safe run-time overloading, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, December 1989, San Francisco, California, United States [doi>10.1145/96709.96746]
	50	Craig Schaffert , Topher Cooper , Bruce Bullis , Mike Kilian , Carrie Wilpolt, An introduction to Trellis/Owl, Conference proceedings on Object-oriented programming systems, languages and applications, p.9-16, September 29-October 02, 1986, Portland, Oregon, United States
	51	Alan Snyder, Encapsulation and inheritance in object-oriented programming languages, Conference proceedings on Object-oriented programming systems, languages and applications, p.38-45, September 29-October 02, 1986, Portland, Oregon, United States
	52	Guy L. Steele, Jr., Common LISP: the language (2nd ed.), Digital Press, Newton, MA, 1990
	53	Clemens A. Szyperski, Import is Not Inheritance - Why We Need Both: Modules and Classes, Proceedings of the European Conference on Object-Oriented Programming, p.19-32, June 29-July 03, 1992
	54	David S. Touretzky, The mathematics of inheritance systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1986
	55	Allen Wirfs-Brock , Brian Wilkerson, A overview of modular smalltalk, ACM SIGPLAN Notices, v.23 n.11, p.123-134, Nov. 1988
	56	N. Wirth, Programming in Modula-2, Springer-Verlag Telos, 1983

CITED BY 23

	Gary T. Leavens , Todd D. Millstein, Multiple dispatch as dispatch on Tuples, ACM SIGPLAN Notices, v.33 n.10, p.374-387, Oct. 1998
	Luca Cardelli, Program fragments, linking, and modularization, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.266-277, January 15-17, 1997, Paris, France
	Sophia Drossopoulou , Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini, More dynamic object reclassification: Fickle∥, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.2, p.153-191, March 2002
	Robert Bruce Findler , Matthew Flatt, Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, v.34 n.1, p.94-104, Jan. 1999
	Curtis Clifton , Gary T. Leavens , Craig Chambers , Todd Millstein, MultiJava: modular open classes and symmetric multiple dispatch for Java, ACM SIGPLAN Notices, v.35 n.10, p.130-145, Oct. 2000
	Vassily Litvinov, Contraint-based polymorphism in Cecil: towards a practical and static type system, ACM SIGPLAN Notices, v.33 n.10, p.388-411, Oct. 1998
	Craig Chambers, Towards reusable, extensible components, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Eric Dujardin , Eric Amiel , Eric Simon, Fast algorithms for compressed multimethod dispatch table generation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.1, p.116-165, Jan. 1998
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, v.37 n.9, p.110-122, September 2002
	Keunwoo Lee , Anthony LaMarca , Craig Chambers, HydroJ: object-oriented pattern matching for evolvable distributed systems, ACM SIGPLAN Notices, v.38 n.11, November 2003
	John Boyland , Giuseppe Castagna, Parasitic methods: an implementation of multi-methods for Java, ACM SIGPLAN Notices, v.32 n.10, p.66-76, Oct. 1997
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004
	Mayur Naik , Rajeev Kumar, Object-oriented symbol management in syntax-directed compiler systems, ACM SIGPLAN Notices, v.34 n.6, June 1999
	Vitaly Surazhsky , Joseph (Yossi) Gil, Type-safe covariance in C++, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Curtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006
	Paolo Ferragina , S. Muthukrishnan , Mark de Berg, Multi-method dispatching: a geometric approach with applications to string matching problems, Proceedings of the thirty-first annual ACM symposium on Theory of computing, p.483-491, May 01-04, 1999, Atlanta, Georgia, United States
	Jaakko Järvi , Douglas Gregor , Jeremiah Willcock , Andrew Lumsdaine , Jeremy Siek, Algorithm specialization in generic programming: challenges of constrained generics in C++, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Maria Cutumisu , Calvin Chan , Paul Lu , Duane Szafron, MCI-java: a modified java virtual machine approach to multiple code inheritance, Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, p.2-2, May 06-07, 2004, San Jose, California
	L. S. B. Raccoon , Puppydog P. O. P., A middle-out concept of hierarchy (or the problem of feeding the animals), ACM SIGSOFT Software Engineering Notes, v.23 n.3, p.111-119, May 1998
	Salvatore T. March , Charles A. Wood , Gove N. Allen, Research Frontiers in Object Technology, Information Systems Frontiers, v.1 n.1, p.51-74, July 1999
	Lorenzo Bettini , Sara Capecchi , Betti Venneri, Featherweight Java with multi-methods, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
	Bruno C.d.S. Oliveira , Meng Wang , Jeremy Gibbons, The visitor pattern as a reusable, generic, type-safe component, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Lorenzo Bettini , Sara Capecchi , Betti Venneri, Featherweight Java with dynamic and static overloading, Science of Computer Programming, v.74 n.5-6, p.261-278, March, 2009