Algebraic implementation of objects over objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 430 LNCS, Issue , 1990, Pages 239-266

  Ehrich, H D ^a   Sernadas, A ^b  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

Algebraic implementation; Encapsulation; Extension; Object morphisms; Object oriented systems; Objects; Process morphisms; Processes; Refinement; Reification; Semantic fundamentals

Indexed keywords

ENCAPSULATION; PROCESSING; SEMANTICS;

ALGEBRAIC IMPLEMENTATION; EXTENSION; MORPHISMS; OBJECT-ORIENTED SYSTEM; OBJECTS; REFINEMENT; REIFICATION;

ALGEBRA;

EID: 85031899009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52559-9_67     Document Type: Conference Paper

References (23)

1. America, P.: Object-Oriented Programming: A Theoretician's Introduction. EATCS Bulletin 29 (1986), 69-84
2. America, P.; Rutten, J.: A Parallel Object-Oriented Language: Design and Semantic Foundations. Dissertation, Vrije Universiteit Amsterdam 1989
3. Dayal, U.; Dittrich, K.(eds): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986
4. Dittrich, K.(eds): Advances in Object-Oriented Database Systems. LNCS 334, Springer-Verlag, Berlin 1988
5. Dahl, O.-J.; Myhrhaug, B.; Nygaard, K,: SIMULA 67, Common Base Language, Norwegian Computing Center, Oslo 1967
6. Ehrich, H.-D.: On Realization and Implementation. Proc. MFCS'81 (J.Gruska, M.Chytil, eds.), LNCS 118, Springer-Verlag, Berlin 1981, 271-280
7. Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: Abstract Object Types for Databases. In DÌ88, 144-149
8. Ehrich, H.-D.; Sernadas, A., Sernadas, C,: Objects, Object Types and Object Identity. Categorical Methods in Computer Science with Aspects from Topology (H. Ehrig et al (eds.), LNCS 393, Springer-Verlag (in print)
9. Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK (to appear 1990)
10. Fiadeiro, J.; Sernadas, A.: Logics of Modal Terms for Systems Specification. INESC, Lisbon 1989 (submitted for publication)
11. Goguen, J.A.; Meseguer, J,: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In SW87, 417-477
12. Goguen, J.A.: Objects. Int. J. General Systems 1 (1975), 237-243
13. Goldblatt JR.: Topoi, the Categorial Analysis of Logic. North-Holland Publ. Comp., Amsterdam 1979
14. Goldberg, A., Robson, D.: Smalltalk 80: The Language and its Implementation, Addison-Wesley, Reading, Mass. 1983
15. Hewitt, C.; Baker, H.: Laws for Communicating Parallel Processes. Proc. 1977 IFIP Congress, IFIP (1977), 987-992
16. Hewitt, C.: Viewing Control Structures as Patterns of Passing Messages. Journal of Artificial Intelligence 8:3 (1977), 323-364
17. Hennessy M.: Algebraic Theory of Processes. The MIT Press, Cambridge, Mass. 1988
18. Lipeck, U.: Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen. Dissertation, Universität Dortmund 1982
19. Lochovski, F. (ed.): Special Issue on Object-Oriented Systems. IEEE Database Engineering 8:4 (1985)
20. Parnas D.L.: A Technique for Software Module Specification with Examples. Communications of the ACM 15 (1972), 330-336
21. Sernadas, A.; Ehrich, H.-D.; Costa, J.-F.: From Processes to Objects (to appear)
22. Shriver, B.; Wegner, P. (eds.): Research Directions in Object-Oriented Programming. The MIT Press, Cambridge, Mass. 1987
23. Sernadas, A.; Sernadas, C.; Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, P.M. Stocker, W. Kent (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107-116