Ole Agesen, Jens Palsberg, and Michael I. Schwartzbach. Type Inference of SELF. Analysis of Objects with Dynamic and Multiple Inheritance. In Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP'93), volume 707 of Lecture Notes in Computer Sciences, pages 247 267. Springer-Verlag, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Efficient Dynamic Dispatch without Virtual Function.. - Zendra, Colnet, Collin (1997) (3 citations) (Correct)
....systems. Reviewed systems range from purely theoretical ones [VHU92] to systems in regular use by a large community [Mil78] with partially implemented systems [Suz81, ST84] and systems implemented on small languages [GJ90, PS91, PS92] While much research has been done on type inference [CF91, APS93, PC94, AH95, DGC95, EST95] with interesting results, common production compilers don t seem to take advantage of powerful type inference algorithms. Indeed, implementations of such algorithms are sometimes not fast enough for incremental development, especially since they require knowledge of ....
Ole Agesen, Jens Palsberg, and Michael I. Schwartzbach. Type Inference of SELF. Analysis of Objects with Dynamic and Multiple Inheritance. In Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP'93), volume 707 of Lecture Notes in Computer Sciences, pages 247 267. Springer-Verlag, 1993.
Empirical Observations of Class-level Encapsulation and.. - Menzies, Haynes (1996) (Correct)
.... i w ; e w ; aw . Once this is known, we can compute the mean i 0 ; e 0 ; a 0 , standard deviation i ; e ; a and standard error of the mean i oe ; e oe ; a oe 1 for APP x . 4 The Haynes Parser While sophisticated schemes exist for detailed type inferencing (e.g. [1, 2, 6, 15]) we have found that, for generating ratios of I m to Am to Em , a simple brute force approach suffices. The Haynes parser [8] first collects lists of method names that are only defined in one class. Such unique names can be used to quickly determine the class type X which is sent a message from ....
O. Agesen, J. Palsberg, and M. Schwartzbach. Analysis of Objects with Dynamic and Multiple Inheritance. In ECOOP'93, Seventh European Conference on Object-Oriented Programming, pages 329--349. Springer-Verlag, 1993.
Visualisations of Large Object-Oriented Systems - Haynes, Menzies, Cohen (1995) (4 citations) (Correct)
....from the type declarations for the variables and parameters used by the methods. In un typed languages (e.g. Smalltalk) no such type clues can be found in the source code. For such languages, heuristic type inferencing is required. While sophisticated schemes exist for detailed type inferencing [18, 1], we have found that a simple brute force approach suffices. Our butterfly heuristics [10] relies on certain Smalltalk specific methods that return the list of method names used in a method. The butterfly algorithm: ffl Collects lists of method names that are only defined in one class. Such ....
O. Agesen, J. Palsberg, and M. Schwartzbach. Analysis of objects with dynamic and multiple inheritence. In ECOOP'93, Seventh European Conference on ObjectOriented Programming, pages 329--349. Springer-Verlag, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC