Generalising the BETA type system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1098, Issue , 1996, Pages 421-448

  Brandt, Søren ^a   Lindskov Knudsen, Jørgen ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

BETA; Constraints; Language design; Object oriented modelling; Type systems

Indexed keywords

MODELING LANGUAGES;

BETA; CONSTRAINTS; LANGUAGE DESIGN; OBJECT ORIENTED MODELLING; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84955595149     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053072     Document Type: Conference Paper

References (15)

1. O. Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In Proceedings of the Ninth European Conference on Object-Oriented Programming (ECOOP'95), Aarhus, Denmark, August 1995.
2. O. Agesen, S. Fr0lund, and M. Olsen. Persistent and Shared Objects in BETA. Master's thesis, Department of Computer Science, University of Aarhus, April 1989.
3. A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. Distribution and Abstract Types in Emerald. IEEE Transactions on Software Engineering, 13(1), January 1987.
4. S. Brandt and R. W. Schmidt. The Design of a Meta-Level Architecture for the BETA Language. In C. Zimmermann, editor, Advances in Object-Oriented Metalevel Architectures and Reflection. CRC Press Inc, Boca Raton, Florida, 1996.
5. C. Chambers and D. Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. In Proceedings of the SIGPLAN'90 Conference on Programming Language Design and Implementation, White Plains, NY, June 1990.
6. O. Dahl, B. Myrhaug, and K. Nygaard. Simula 67 Common Base Language. Pub. 725, Norwegian Computing Center, Oslo, 1984.
7. O. L. Madsen and B. M0ller-Pedersen. Virtual Classes - A Powerful Mechanism in Object-Oriented Programming. In Proceedings of the Fourth Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '89), volume 24 of Sigplan Notices, October 1989.
8. O. Madsen, B.Magnusson, and B. Pedersen. Strong typing of Object-Oriented Languages Revisited. In J. Knudsen, O. Madsen, B. Magnusson, and M. Lofgren, editors, Object-Oriented Environments. Prentice Hall, September 1993.
9. O. L. Madsen, B. M0ller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison Wesley, Reading, MA, June 1993.
10. B. Meyer. Eiffel, The Language. Prentice Hall, 1992.
11. S. Omohundro. The Sather Programming Language. Doctor Dobb's Journal, pages 42-48, October 1993.
12. N. Oxh0j, J. Palsberg, and M. I. Schwartzbach. Making type inference practical. In Proceedings of the Sixth European Conference on Object-Oriented Programming (ECOOP'92), Utrecht, The Netherlands, June 1992.
13. J. B. Plevyak and A. A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proceedings of the Ninth Conference on Object-Oriented Programming Systems, Languages and Applications (OOP-SLA'94), Portland, OR, October 1995.
14. D. L. Shang. Covariant Deep Subtyping Reconsidered. ACM SIGPLAN Notices, 30(5):21-28, May 1995.
15. B. Stroustrup. The C++ Programming Language. Addison Wesley, 1993.