A framework for programming and formalizing concurrent objects

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn Part F129582, Issue , 1993, Pages 126-137

  Bahsoun, Jean Paul ^a   Merz, Stephan ^a   Servieres, Corinne ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT ORIENTED PROGRAMMING; FORMAL METHODS; REUSABILITY; SEMANTICS; SOFTWARE ENGINEERING;

COMMUNICATING AGENTS; COMMUNICATION STRUCTURES; CONCURRENT OBJECTS; FORMAL DERIVATION; FORMAL SEMANTICS; INHERITANCE PROPERTY; PARALLEL ENVIRONMENT; TEMPORAL LOGIC OF ACTIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 84970878478     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/256428.167072     Document Type: Conference Paper

References (22)

1. M. Abadi, L. Lamport The existence of refinement mappings Theoretical Computer Science 82(2), pp. 253-284, May 1991
2. G. Agha and C. Hewitt Concurrent Programming Using Actors, In "Object-Oriented Concurrent Programming", (ed) A. Yonezawa and M. Tokoro, MIT Press, 1987, 37-53.
3. P. America, F. Vander Linden A Parallel Object Oriented Language with Inheritance and Subtyping, Proc. ECOOP'90. pp 161-168.
4. J. P. Bahsoun, L. Feraud A Model to Design Reusable Parallel Software Components LNCS Springer Verlag 605 pp. 245-260
5. J. P. Bahsoun, L. Feraud, C. Betourne A two degrees of freedom approach for parallel programming, Proc. IEEE International Conference on Computer Languages. March 12-15 1990. New Orleans.pp261-270.
6. P. Cointe Meta-classes are first class: the ObjVlisp model, Proc. 2nd OOPSLA Orlando Florida, pp 156-167.
7. O. J. Dahl, K. Nygaard SIMULA - an ALGOL based simulation language, CACM 9(9) 1966 pp 671-678.
8. E.W. Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica. 1-1971.
9. A. Golberg, A. Robson SMALLTALK: the language and its implentation, Addison-Wesley 1980.
10. C. Hewitt, R. Atkinson Specification and proof technique for serializers, IEEE Trans. Soft. Eng. 1979 pp 10-13.
11. D. Kafura, K. Lee Inheritance in actor based concurrent object-oriented languages, TR 88-53 Virginia Polytechnic Institue and state university. 1988.
12. K. Kahn, E. D. Tribble, M. Smiller, D. G. Bobrow VULCAN: logical concurrent objects. In Research directions in object oriented programming. B. Shriver, P. Wegner Editors 112 MIT Press 1987.
13. S. E. Keene Object oriented programming in common Lisp "A progammer's guide to CLOS", Addison Wesley 1989.
14. S. Krakoviak, M. Meysembourg, H. Nguyen Van, M. Riveill, X. Rousset De Pina Design and implementation of an object oriented strongly typed language for distributed applications, JOOP Sept/Oct. 1990 pp 11-22.
15. L. Lamport The Temporal Logic of Actions Research Report 79, DEC Systems Research Center, December 1991
16. B. Liskov, J. Guttag Abstraction and specification in program developments, MIT Press/McGraw Hill 1986.
17. J. Meseguer, T. Winkler Parallel Programming in Maude. In "Research Directions in High-Level Parallel Programming Languages" J.B. Banatre, D. LeMetayer (Eds) Springer Verlag 1992
18. B. Meyer Object oriented software construction, Prentice Hall 1988.
19. A. Snyder Inheritance and the development of encapsulated software systems, In Research directions in objetc-oriented programming. A. Shriver, P. Wegner editors MIT Press pp 165-188.
20. B. Stroustup The C++ programming language Addison k Wesley 1986.
21. T. Tomlison, V. Singh Inheritance and synchronization with enabled sets, Proc. of OOPSLA'89. Oct.1-6.1989 pp 103-112.
22. P. Wegner Concepts and paradigms of objectoriented programming, Expansion of Oct. 4 OOPSLA-89 keynote talk.OOPS Messenger. Vol.1 nl Aug.1990 pp-84.