Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs
- 1 July 1991
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 4 (3) , 283-310
- https://doi.org/10.1007/bf01806109
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Type inference for record concatenation and multiple inheritancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A type system for SmalltalkPublished by Association for Computing Machinery (ACM) ,1990
- An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypesPublished by Association for Computing Machinery (ACM) ,1989
- Static type inference for parametric classesPublished by Association for Computing Machinery (ACM) ,1989
- A bibliography on partial evaluationACM SIGPLAN Notices, 1988
- TS: an optimizing compiler for smalltalkPublished by Association for Computing Machinery (ACM) ,1988
- Self: The power of simplicityPublished by Association for Computing Machinery (ACM) ,1987
- Advanced compiler optimizations for supercomputersCommunications of the ACM, 1986
- Efficient implementation of the smalltalk-80 systemPublished by Association for Computing Machinery (ACM) ,1984