O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object-oriented programming in the Beta programming language. Addison-Wesley, 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....virtual or abstract types [30,39,12] can model the essential properties of signatures with abstract types in ML like module systems [29] In principle, this is not a new development. Class nesting has been introduced already in Simula 67 [17] whereas virtual or abstract types are present in BETA [31], as well as more recently in gbeta [19] Rune [42] and Scala [33] An essential ingredient of these systems are objects with type members. There is currently much work that explores the uses of this concept in object oriented programming [38,40,20,36] But its type theoretic foundations are just ....

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, June 1993. ISBN 0-20162430 -3.

....as: an ontology of our digitally pervasive world, a modeling approach deriving from this philosophy, and concrete artifacts that realize these models. This attempt at a seamless progression from ontology to models to concrete artifacts draws from the Scandinavian tradition of conceptual modeling [22, 23], realized as object oriented modeling and programming. In this tradition, ontological assumptions are made about the world, forming an underlying conceptual framework. This translates to modeling constructs, which also find expression as programming language. The popularity and prevalence of the ....

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard, Object-oriented programming in the BETA programming language. Wokingham, England ; Reading, Mass.: Addison-Wesley, 1993.

....be substituted for its superclass. In some languages, inheritance can covariantly specialize the type of attributes such a fields and method parameters [37] For example, in the Beta language, virtual attributes are used to represent types that can be covariantly specialized in subclasses [32]. Virtual attributes can be used to specify the types of fields, method parameters, etc. An an example of covariant specialization, consider the class Vector: class Vector type ElementType: Object; elements: ElementType = new ElementType[10] ElementType get(int index) The ....

....subtypes but also to concrete values (similarly to our proposed semantics for exheritance) Hence, the invariants needed for customization can be declared directly as part of the covariants specialization of attributes. 9 Object oriented languages with block structure (such as Simula [40] Beta [32] and in particular gbeta [18] allow multiple classes to be subclassed (specialized) together when their enclosing class is subclassed. This feature can be used to express the simultaneous specialization of multiple classes. Inheritance with covariant specialization over values, block structure, ....

O.L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object-oriented programming in the Beta programming language. Addison-Wesley, Reading, MA, USA, 1993. 29

....on the specific concepts the language under consideration offers, transformation and interpretation rules must be adapted to them. For example, multiple inheritance as provided in C is not found in DoDL and hence not modelled in this paper; a different inheritance mechanism as e.g. Beta [36, 16] is equipped with also requires a different formalization. Nonetheless, the goal of this paper was to develop an approach to formally defining a semantics for objectoriented languages, here elaborated for a sample language, DoDL. Moreover, we have discussed how algebraic specification can be put ....

O. L. Madsen, B. Moeller-Redersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993.

....306 848 1855 JHM Java High Level Class Modifier 6,000,000 11 34 155 TROFF GNU groff 1.09 1,110,592 19 61 161 XLISP Lisp Interpreter 6,000,000 3 4 13 Table 1 Tested programs and their relevant statistics There are certain notable exceptions. BETA is a compiler for the Beta programming language [3], while XLISP and GCC are programs written in C. The third column in Table 1 shows the total number of indirect branches executed of the course of the trace. Each trace file was created by running the test program until completion or until six million indirect branches had been executed. The ....

Madsen, O. L., B. Moller-Pedersen and K. Nygaard. Object Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.

....is di#erent from ours, his research stresses the fact that it is indeed necessary to be able to maintain several slightly di#erent CP nets of a system and that it is important to know exactly what are the di#erences between these CP nets. In object oriented programming languages like e.g. Beta [68], classification hierarchies are used for classifying objects which relate to each other with respect to certain characteristics. For example, consider an animal. A cat and and a bird are di#erent animals, and can therefore themselves be considered as individual subclasses of the class animal. All ....

O. Madsen, B. Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993.

....statements such as Given squares, we need an additional dimension to implement rectangles. Different programming languages offer numerous variations of the subclassing aspect of inheritance. In Java and Smalltalk [9] descendent methods control whether ancestor methods are called. In Beta [16], ancestor methods control whether descendent methods are called. In Eiffel [17] descendents can cancel or rename ancestor features, neither of which is possible in Java, Smalltalk, or Beta. If we follow established convention and consider inheritance the hallmark of object oriented ....

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley (ACM Press), 1993.

....consequences they have for the object oriented Elucidator. Object Oriented Modeling Programs written in the object oriented paradigm, often closely models some aspect of the real world. The objects of the running program is a representation or simulation of objects in a real or imaginary world [Madsen et al. 1993]. In that sense the program code does not only contain instructions for the computer to interpret, but it also contains information about the objects being modeled and different properties of these objects. By using the objectoriented modeling paradigm we write program code which is more ....

....methods can potentially be applicable at the calling place therefore the semantics of the method call becomes unclear or at least difficult for the programmer to comprehend. Anonymous classes This is one of the more exotic features of Java, although it appears in other languages (e.g. BETA [Madsen et al. 1993]) Via anonymous classes it is possible to instantiate objects which have their class defined at the place of the instantiation. The anonymous class either extends another class or implements an interface, and only through reflection it is possible to call other methods than the ones defined on ....

Madsen, O. L., Mller-Pedersen, B., and Nygaard, K. (1993). ObjectOriented Programming in the Beta Programming Language. ACM Press and Addison Wesley.

....details about the integration of delegation into a statically typed language, we refer to the existing approaches, e.g. 18, 3, 27] 4 Virtual Classes Virtual classes are the second important building block for delegation layers. Virtual classes are a concept from the Beta programming language [21, 22] (in Beta known as virtual pattern) The basic idea is that the notions of overriding and late binding should also apply to nested classes, similarly to overriding and late binding of methods. Consider the class Graph in Fig. 7. The nested classes Node, Edge and UEdge are declared as virtual ....

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object Oriented Programming in the Beta Programming Language. Addison-Wesley Publishing Company, 1993.

....object oriented programming. It was, for instance, identified in the design of the P language [23] an extension of C with constructs for component based programming) and solved with the addition of the forward keyword. The same problem is addressed in other programming languages (e.g. Beta [19]) with the concept of virtual types. Consider a mixin layer encapsulating the functionality of an allocator. This component needs to have type information propagated to it from its subclasses (literally, the subclasses of the class it will create when instantiated) so that it knows what kind of ....

O.L. Madsen, B. Mller-Pedersen, and K. Nygaard, Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993.

....as an augmented regular expression over operations. It not only describes how an operation can be invoked, but also when and by whom. Class and method definition have been unified in patterns and sub patterns. The term pattern has been borrowed from the object oriented programming language Beta [13]. The idea is that objects are instantiated from patterns and behave according to the pattern definition. A pattern describes the allowed sequences of primitives to be executed by an object after a message has been received in a so called inlet, which is implicitly defined in a pattern definition. ....

Ole Lehrman Madsen, Birger Mller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, Reading, Massachusetts, 1993.

....covariance of types of parameters in the redefinition of methods in subclasses, after the invocation o 0 : m(a) when o 0 is an object of class C 0 , and a has type A, the execution of method m of class C 0 could access a field of A 0 that does not exist in A. Eiffel [Mey92] and Beta [MMPN93] in fact adopt covariance of types of parameters of methods (see discussions on this subject in [Mey92, Coo89, CM97] In Beta, errors are detected at runtime. Eiffel includes restrictions, so as to make checking possible at link time. There is controversy about this subject in the ....

O. Madsen, B. Moler-Pedersen, and K. Nygaard. Object-oriented programming in the Beta programming language. Addison-Wesley, 1993.

....of some basic concepts of object calculi and other related type systems which have been presented in the literature. Object based calculi are not as well know as the class based ones, but their importance will increase especially when mixed with class based features, such as in the Beta [23], or O2 of [2] Acknowledgments. I would like to thank the Logics of Programs group of the Department of Computer Science of Turin, for the time spent to teach me the fundamentals of Theoretical Computer Science, to Furio Honsell for his fruitful discussions and suggestions, Stefania ....

O.L. Madsen, Moller-Pedersen, and K. B. Nygaard. Object-Oriented programming in the Beta programming language. Addison-Wesley, 1993.

No context found.

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object-oriented programming in the Beta programming language. Addison-Wesley, 1993.

No context found.

Madsen, O. L., Mller-Pedersen, B., and Nygaard, K. ObjectOriented Programming in the BETA programming Language. Addison Wesley, 1993.

No context found.

Ole L. Madsen, Birger Moller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.

No context found.

Ole L. Madsen, Birger Moller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.

No context found.

Ole L. Madsen, Birger Moller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.

No context found.

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object Oriented Programming in the Beta Programming Language. Addison-Wesley Publishing Company, 1993.

No context found.

Madsen O.L., Mller-Pedersen B. and Nygaard K.: Object-Oriented Programming in the BETA Programming Language, Addison Wesley, 1993.

No context found.

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, June 1993. ISBN 0-20162430 -3.

No context found.

O. L. Madsen, B. Moller-Pedersen, and K. Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.

No context found.

O.L. Madsen, B. Moller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, Reading, 1993.

No context found.

O. L. Madsen, B. Mller-Pedersen, and K. Nygaard. Objectoriented Programming in the BETA Programming Language. Addison Wesley, 1993.

No context found.

Madsen, O. L., Mller-Pedersen, B., and Nygaard, K., Object-Oriented Programming in the Beta Programming Language: Addison-Wesley Publishing Company, 1993.

First 50 documents  Next 50

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