2 citations found. Retrieving documents...
Mark B. Ballard, David Maier, and Allen Wirfs-Brock. QUICKTALK: A Smalltalk-80 dialect for defining primitive methods. In Proceedings of OOPSLA `86, Object-Oriented Programming Systems, Languages and Applications, pages 140--150, November 1986. printed as SIGPLAN Notices, 21(11).

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Type-Checking and Type-Inference for Object-Oriented Programming.. - Graver (1989)   (6 citations)  (Correct)

....over time. Its design, while based on well conceived notions, has probably followed the path of least resistance. Fitting a formal description onto such an environment is hard. Nevertheless, the concepts of formal type systems manifest themselves in even the most pragmatic approaches. Quicktalk [BMW86] uses a small subset of Smalltalk for writing user primitives which can be compiled directly into native machine code. Methods are bound at compile time by requiring type declarations for variables. Although the system is small it incorporates many features of more powerful typed systems: type ....

Mark B. Ballard, David Maier, and Allen Wirfs-Brock. QUICKTALK: A Smalltalk-80 dialect for defining primitive methods. In Proceedings of OOPSLA `86, Object-Oriented Programming Systems, Languages and Applications, pages 140--150, November 1986. printed as SIGPLAN Notices, 21(11).


An Efficient Implementation of Self, a Dynamically-Typed.. - Chambers, Ungar, Lee (1991)   (27 citations)  (Correct)

....system, and only 4 to 5 times slower than optimized C. We hope that our second generation system under construction (and described in section 7) will achieve even better levels of performance. The main obstacle to generating efficient code from Smalltalk programs, as many people have noted before [1, 2, 14], is that very little static type information is available in the Smalltalk source. Only literal constants have a known class at compile time; without detailed analysis, no other types are known. Type inferencing is difficult for Smalltalk programs, especially when the compiler is using the ....

Ballard, M. B., Maier, D., and Wirfs-Brock, A. QUICKTALK: A Smalltalk80 Dialect for Defining Primitive Methods. In OOPSLA '86 Conference Proceedings. Published as SIGPLAN Notices, 21, 11 (1986) 140-150.

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