Alan H. Borning
Daniel H. H. Ingalls
ABSTRACT
An experimental system for declaring and inferring type in Smalltalk is described. (In the current Smalltalk language, the programmer supplies no type declarations.) The system provides the benefits of type declaration in regard to compile-time checking and documentation, while still retaining Smalltalk's flexibility. A type hierarchy, which is integrated with the existing Smalltalk class hierarchy, allows one type to inherit the traits of another type. A type may also have parameters, which are in turn other types.
- {Borning 81} Borning, A.H. The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory. ACM Transactions on Programming Languages and Systems 3(4):353--387, October, 1981. Google Scholar
Digital Library
- {Cannon 80} Cannon, H.I. Flavors. Technical Report, MIT Artificial Intelligence Lab, 1980.Google Scholar
- {Dahl & Nygaard 66} Dahl, O-J, and Nygaard, K. SIMULA --- An ALGOL-Based Simulation Language. Communications of the ACM 9(9):671--678, September, 1966. Google ScholarDigital Library
- {DOD 80} United States Department of Defense. Reference Manual for the Ada Programming Language 1980.Google Scholar
- {Goldberg 81} Goldberg, A.J., Robson, D., and Ingalls, D.H.H. Smalltalk-80: The Language and its Implementation. 1981. Forthcoming book. Google ScholarDigital Library
- {Ingalls 78} Ingalls, D.H.H. The Smalltalk-76 Programming System: Design and Implementation. In Proceedings of the Fifth Annual Principles of Programming Languages Symposium, pages 9--16. ACM, January, 1978. Google ScholarDigital Library
- {Ledgard 81} Ledgard, H.F. A Human Engineered Variant of BNF. SIGPLAN Notices 15(10):57--62, October, 1981. Google ScholarDigital Library
- {Liskov 77} Liskov, B., Snyder, A., Atkinson, R, and Shaffert, C. Abstraction Mechanisms in CLU. Communications of the ACM 20(8):564--576, August, 1977. Google ScholarDigital Library
- {LRG 81} The Xerox Learning Research Group. The Smalltalk-80 System. Byte 6(8):36--48, August, 1981.Google Scholar
- {Milner 78} Milner, R. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences 17:348--375, 1978.Google ScholarCross Ref
- {Mitchell 79} Mitchell, J., Maybury, W., and Sweet, R. Mesa Language Manual. Technical Report CSL-79-3, Xerox Palo Alto Research Center, April, 1979.Google Scholar
- {Suzuki 81} Suzuki, N. Inferring Types in Smalltalk. In Proceedings of the Eighth Annual Principles of Programming Languages Symposium. ACM, 1981. Google ScholarDigital Library
- {Tesler 81} Tesler, L. The Smalltalk Environment. Byte 6(8):90--147, August, 1981.Google Scholar
- {Wulf 76} Wulf, W., London, R., and Shaw, M. An Introduction to the Construction and Verification of Alphard Programs. IEEE Transactions on Software Engineering SE-2(4):253--264, December, 1976.Google ScholarDigital Library
- A type declaration and inference system for smalltalk
Comments