Multimethods and separate static typechecking in a language with C++-like object model

Details Multimethods and separate static typechecking in a language with C++-like object model Multimethods and separate static typechecking in a language with C++-like object model

2000-05-31

arxiv.org/abs/cs/0005033v1

Computer Science

Programming Languages

15 pages, 18 figures

Scientific paper

The goal of this paper is the description and analysis of multimethod implementation in a new object-oriented, class-based programming language called OOLANG. The implementation of the multimethod typecheck and selection, deeply analyzed in the paper, is performed in two phases in order to allow static typechecking and separate compilation of modules. The first phase is performed at compile time, while the second is executed at link time and does not require the modules' source code. OOLANG has syntax similar to C++; the main differences are the absence of pointers and the realization of polymorphism through subsumption. It adopts the C++ object model and supports multiple inheritance as well as virtual base classes. For this reason, it has been necessary to define techniques for realigning argument and return value addresses when performing multimethod invocations.

Affiliated with

Also associated with

No associations

Rating

Multimethods and separate static typechecking in a language with C++-like object model does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Multimethods and separate static typechecking in a language with C++-like object model, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Multimethods and separate static typechecking in a language with C++-like object model will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-362120