K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer: Principles of OBJ2, Proc. POPL 1985.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to manipulate objects of that type. This notion was well embedded in CLU [Liskov et al. 77] Liskov Guttag 86] and formed the basis for the later development of modular programming languages. This notion of abstraction is more restrictive than the general notion of algebraic abstract types [Futatsugi Goguen Jouannaud Meseguer 85] Polymorphism is the ability of a function to handle objects of many types [Strachey 67] In ad hoc polymorphism a function can behave in arbitrarily different ways on objects of different types. We shall ignore this view here, and consider only generic polymorphism where a function behaves in ....

....problem. Algebraic programming. This is a programming style where data abstraction is considered fundamental (objectoriented programming also has this aspect) The notion of abstract types we have described is fundamentally the same as in CLU [Liskov 77] and has strong relations with OBJ2 s [Futatsugi Goguen Jouannaud Meseguer 85] although we handle only free algebras, without equations) The idea that existential quantifiers accurately model abstract types comes from [Mitchell Plotkin 85] Virtually all algebraic programming is conducted in the manysorted case, which makes it naturally typed. Concurrent programming. ....

K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer: Principles of OBJ2, Proc. POPL 1985.

.... has mostly been considered in the context of type free dynamically scoped languages and implemented as Lisp or Smalltalk extensions [Borning 82, Bobrow 83, Hullot 83, Steels 83, Weinreb 81] or as part of knowledge representation languages [Attardi 81] Exceptions are Galileo [Albano 85] and OBJ [Futatsugi 85] where multiple inheritance is typechecked. The definition of what makes a language object oriented is still controversial. An examination of the differences between Simula, Smalltalk and other languages suggest that inheritance is the only notion critically associated with object oriented ....

.... would like to mention here [Reynolds 80, Oles 84] which expose similar semantic ideas in a different formal framework, Ait Kaci 83] again exposing very similar ideas in a Prolog related framework, Mitchell 84] this time presenting different, but related, ideas in the same formal framework, and [Futatsugi 85] whose OBJ system implements a first order multiple inheritance typechecker, and whose subsorts have much to do with subtypes. Finally, I would like to thank David MacQueen for many discussions, John Reynolds and the referees for detailed suggestions and corrections, and Antonio Albano and Renzo ....

K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer: Principles of OBJ2, Proc. POPL '85.

....manipulate objects of that type. This notion was well embedded in CLU [Liskov et al. 77] Liskov Guttag 86] and formed the basis for the Page 5 later development of modular programming languages. This notion of abstraction is more restrictive than the general notion of algebraic abstract types [Futatsugi Goguen Jouannaud Meseguer 85] Polymorphism is the ability of a function to handle objects of many types [Strachey 67] In ad hoc polymorphism a function can behave in arbitrarily different ways on objects of different types. We shall ignore this view here, and consider only generic polymorphism where a function behaves in ....

....problem. Algebraic programming. This is a programming style where data abstraction is considered fundamental (objectoriented programming also has this aspect) The notion of abstract types we have described is fundamentally the same as in CLU [Liskov 77] and has strong relations with OBJ2 s [Futatsugi Goguen Jouannaud Meseguer 85] although we handle only free algebras, without equations) The idea that existential quantifiers accurately model abstract types comes from [Mitchell Plotkin 85] Virtually all algebraic programming is conducted in the manysorted case, which makes it naturally typed. Concurrent programming. ....

K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer: Principles of OBJ2, Proc. POPL 1985. Page 66

....expressions in OBJ. In particular, the mechanisms for variable value bindings, value passing between events, and synchronization of events are described. 1 Introduction We have written an operational semantics of the behavioral expressions of LOTOS[1] using the algebraic specification language OBJ[2, 3]. Behavioral expressions in LOTOS describe the temporal ordering of events. Value passing is performed when events are synchronized. The values passed between events can be composite data types which are defined based on the many sorted algebra. OBJ is an executable specification language based on ....

K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, J. Meseguer: Principles of OBJ2. Proc. of 12th ACM Sympo. on POPL, 52--66 (1985)

.... 3 NJ K OH k 4 j : G k # : l N W m ; 9 0 i U ,M 8B G J l9g Dd; 7 J # 7 Fs D N W m ; 9 0 i U , P 7 e i G J ; O Dd; 9 k 3 H , k #N J N W m ; 9 0 i U ,M 8B J i I, Dd; 9 k # 5 H=Dj W m 0 i 3 N k 4 j : K4p E F Be t7 8 8l OBJ[9, 8] N e G W m 0 i r=q # W m 0 i O OBJ N6 NO J b 8 e k2=5 G= H= Fp J 7 s C 9 rMxMQ 7 F :GMxMQ 2DG= G FI d 9 7A K J k h KEX a # 7 OBJ N8= N B9T5 9= O F0 P C H i C r 5 ] H 7 F J N G A4 tC5:w N;EAH rD 3 G # s 0 9 kI,MW ....

K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, J. Meseguer: Principles of OBJ2. Proc. of 12th ACM Sympo. on POPL , 52--66 (1985)

No context found.

K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer: Principles of OBJ2, Proc. POPL 1985.

No context found.

K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer: Principles of OBJ2, Proc. POPL 1985.

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