Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

ECOOP
2003
Springer

favoriteEmaildiscussreport

118views Programming Languages» more ECOOP 2003»

Higher-Order Hierarchies

13 years 9 months ago

Higher-Order Hierarchies

Download www.i3s.unice.fr

This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the set of operations of a given abstract data type. A typical object-oriented design supports extending the set of data structures, and a typical functional design supports extending the set of operations, but it is hard to support both in a smooth manner. Higherorder hierarchies is a feature of the highly uniﬁed, mixin-based, extension-oriented kind of inheritance which is available in the language gbeta, which is itself a language that was created by generalizing the language Beta.

Erik Ernst

Real-time Traffic

Abstract Data Type | Data Structures | ECOOP 2003 | Programming Languages | Typical Object-oriented Design |

claim paper

Related Content

» Parametrized Regular Infinite Games and HigherOrder Pushdown Strategies

» The Complexity of Model Checking Higher Order Fixpoint Logic

» Symbolic BackwardsReachability Analysis for HigherOrder Pushdown Systems

» A Typed HigherOrder Calculus for Querying XML Databases

» On the Expressiveness of Polyadic and Synchronous Communication in HigherOrder Process Cal...

» SpaceTime Hierarchical Radiosity with Clustering and HigherOrder Wavelets

» On Global Model Checking Trees Generated by HigherOrder Recursion Schemes

» The Complexity of Model Checking HigherOrder Fixpoint Logic

» LinearTime Hierarchies for a Functional Language Machine Model

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	ECOOP
Authors	Erik Ernst

Comments (0)