Brad Cox. Message/Object Programming: An Evolutionary Change in Programming Technology. IEEE Software 1:1 (Jan. 1984), 50-61.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....by reviewing the concepts of encapsulation and data Abstraction, as realized by most object oriented language. We then review the concept of inheritance and demonstrate how the inheritance models of popular object oriented languages like Smalltalk [Goldberg83] Flavors [Moon86] and ObjectiveC [Cox84] fall short in their support of encapsulation. We examine the requirements for full support of encapsulation with inheritance. Object Oriented Programming Object oriented programming is a programming methodology based on the following key characteristics: Designers define new classes (or ....

Brad Cox. Message/Object Programming: An Evolutionary Change in Programming Technology. IEEE Software 1:1 (Jan. 1984), 50-61.

....user interface similar to the Smalltalk environment. Example code fragment of Lingo and Smalltalk is shown in Figure 2 for comparison. 4.4 Results Previous authors have reported a ratio of the overhead for dynamic binding compared to a function call of 1. 75 times (for well implemented systems) [15]. To evaluate this for the languages and architectures available, a test suite of programs was written to measure the cost of dynamic binding for each language. The results of these measurements, after all other effects were taken into account, are shown in Figure 3. These results reveal an ....

Brad. J. Cox. Message/object programming: An evolutionary change in programming technology. IEEE Software, 1(1):11--22, 1984.

....tuple type that describes it (see sect. 4) At this point, we are able to prove the correctness of the mapping. Theorem 1 Let C be a database class description, then C is satis able if and only if N [C] is satis able. Proof. We only sketch the proof, for a complete demonstration see [4]. We show that if C is unsatis able then N [C] is unsatis able to. Without any loss of generality, let C be in its expanded form: then for N [C] A we have: A : AC u N [C 1 ] u : u N [C n ] u N [l 1 : t 11 ] u : u N [l 1 : t 1k ] u : u N [l m : t m1 ] u : u N [l m : ....

....in Arti cial Intelligence n. 567, Springer Verlag, pp.124 140,1991. 3] A. Artale, F. Cesarini and G. Soda. Introducing Knowledge Representation Techniques in Database Models. In Trends in Arti cial Intelligence, Lecture Notes in Arti cial Intelligence n. 549, Springer Verlag, pp. 375 384,1991. [4] A. Artale, F. Cesarini and G. Soda. A Correspondence Theory For Objects Database Models And Concepts Languages. In Atelier d Ing#nierie des Connaissances et des Donn#es, pages 1 20, Strasbourg, France, Jenuary 1993. 5] F. Baader and B. Hollunder. A Terminological Knowledge Representation System ....

[Article contains additional citation context not shown here]

B.J. Cox. Message/object programming: An evolutionary change in programming technology. IEEE Software, 1(1):5061, January 1984.

....tuple type that describes it (see sect. 4) At this point, we are able to prove the correctness of the mapping. Theorem 1 Let C be a database class description, then C is satisfiable if and only if N [C] is satisfiable. Proof. We only sketch the proof, for a complete demonstration see [4]. We show that if C is unsatisfiable then N [C] is unsatisfiable to. Without any loss of generality, let C be in its expanded form: then for N [C] A we have: A : AC u N [C 1 ] u : u N [C n ] u N [l 1 : t 11 ] u : u N [l 1 : t 1k ] u : u N [l m : t m1 ] u : u N [l m ....

....Artificial Intelligence n. 567, Springer Verlag, pp.124 140,1991. 3] A. Artale, F. Cesarini and G. Soda. Introducing Knowledge Representation Techniques in Database Models. In Trends in Artificial Intelligence, Lecture Notes in Artificial Intelligence n. 549, Springer Verlag, pp. 375 384,1991. [4] A. Artale, F. Cesarini and G. Soda. A Correspondence Theory For Objects Database Models And Concepts Languages. In Atelier d Ing enierie des Connaissances et des Donn ees, pages 1 20, Strasbourg, France, Jenuary 1993. 5] F. Baader and B. Hollunder. A Terminological Knowledge Representation ....

[Article contains additional citation context not shown here]

B.J. Cox. Message/object programming: An evolutionary change in programming technology. IEEE Software, 1(1):50--61, January 1984.

....these factors are discussed. 1.0 Introduction Various software development notations and methodologies were introduced in the 1970s and 1980s. These include Structured Systems Analysis and Design (SSAD) Yourdon and Constantine, 1985, De Marco, 1978) Structured Programming (Meyers, 1975) and Object Oriented Programming (Cox, 1984). Although, these methodologies are considered standard today, significant software was written without their help before their introduction. How was this accomplished by developers Furthermore, even today not all projects are developed using these methodologies. Why What are developers using in ....

B.J. Cox. Message/Object Programming: An Evolutionary Change in Programming Technology. IEEE Software, 1(1):50-61, 1984.

....in a limited manner, since a class may only inherit a single implementation. 3 Drawbacks of multiple inheritance Despite the popularity of multiple inheritance, its appeal is not universal, as demonstrated by its exclusion from other prominent languages such as Modula 3 [Har92] Objective C [Cox84] and Java. Name resolution A common problem that any implementation of multiple inheritance must address is how to handle methods of the same signature inherited from multiple base classes (commonly called a naming conflict) Solutions to this problem can be divided into three general ....

B. Cox. Message/Object programming: An evolutionary change in programming technology. IEEE Software 1, 1 (Jan. 1982).

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