Message passing is a crucial feature of any object-oriented language implementation. Even more so in dynamically typed languages, where the absence of compile-time type information forces the implementation to perform run-time type checking at each message send. Traditional techniques for the implementation of message passing in those languages favor flexibility and space efficiency over speed. This paper explores an alternative called compact dispatch tables suited to environments with high requirements in time and space efficiency. Compact dispatch tables are one solution to achieve fast, and constant-time, message passing in dynamically typed languages and to bring them one step closer to the efficiency of statically typed languages
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to...
Cette publi est considérée comme un journal (ACM SIGPLAN Notices) dans la communauté.International a...
In java, method dispatch is done at runtime, by late-binding, with respect to the dynamic type of th...
Dynamic binding in object-oriented languages is perhaps the most important semantic aspect of these ...
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic type...
Abstract: Object-oriented programs are difficult to optimize because they execute many dynamically-d...
Encapsulation in object-oriented languages has traditionally been based on static type systems. As a...
Single dispatch involves performing at run-time a multi-way switch over the possible classes of the ...
. This paper presents the DT Framework, a collection of object-oriented classes representing a gener...
Type information is a crucial information to support object-oriented reengineering. In a dynamically...
Double dispatch is the ability of selecting dynamically a method not only according to the run-time ...
454 pagesSupplemental file(s) description: Mechanized Proofs for Chapter 3.This dissertation concern...
Both static and dynamic typing provide different benefits to the programmer. Statically typed langua...
AbstractGoals of flexibility and re-usability in typed object-oriented languages suggest the require...
The performance of a data parallel program is critically dependent on the data decomposition that th...
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to...
Cette publi est considérée comme un journal (ACM SIGPLAN Notices) dans la communauté.International a...
In java, method dispatch is done at runtime, by late-binding, with respect to the dynamic type of th...
Dynamic binding in object-oriented languages is perhaps the most important semantic aspect of these ...
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic type...
Abstract: Object-oriented programs are difficult to optimize because they execute many dynamically-d...
Encapsulation in object-oriented languages has traditionally been based on static type systems. As a...
Single dispatch involves performing at run-time a multi-way switch over the possible classes of the ...
. This paper presents the DT Framework, a collection of object-oriented classes representing a gener...
Type information is a crucial information to support object-oriented reengineering. In a dynamically...
Double dispatch is the ability of selecting dynamically a method not only according to the run-time ...
454 pagesSupplemental file(s) description: Mechanized Proofs for Chapter 3.This dissertation concern...
Both static and dynamic typing provide different benefits to the programmer. Statically typed langua...
AbstractGoals of flexibility and re-usability in typed object-oriented languages suggest the require...
The performance of a data parallel program is critically dependent on the data decomposition that th...
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to...
Cette publi est considérée comme un journal (ACM SIGPLAN Notices) dans la communauté.International a...
In java, method dispatch is done at runtime, by late-binding, with respect to the dynamic type of th...