Structured gamma

Science of Computer Programming

Volumn 31, Issue 2-3, 1998, Pages 263-289

  Fradet, Pascal ^a   Le Métayer, Daniel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Coordination; Graph grammar; Multiset rewriting; Program refinement; Software architecture; Type checking

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; DATA STRUCTURES; MATHEMATICAL TRANSFORMATIONS; SET THEORY;

GRAPH GRAMMAR; MULTISET REWRITING; PROGRAM REFINEMENTS; TYPE CHECKING;

SOFTWARE ENGINEERING;

EID: 0032115028     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(97)00023-3     Document Type: Article

References (21)

1. R. Allen, D. Garlan, Formalizing architectural connection, in: Proc. 16th Internat. Conf. Soft. Eng., IEEE Computer Soc. Press, Silver Spring, MD, 1994, pp. 71-80.
2. J.-P. Banâtre, D. Le Métayer, The GAMMA model and its discipline of programming, Science of Computer Programming 15 (1) (1990) 55-77.
3. J.-P. Banâtre, D. Le Métayer, Programming by multiset transformation, Comm. ACM 36 (1) (1993) 98-111.
4. J.-P. Banâtre, D. Le Métayer, Gamma and the chemical reaction model: ten years after, Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
5. N. Carriero, D. Gelernter, Linda in context, Comm. ACM 32 (4) (1989) 444-458.
6. M. Chaudron, E. de Jong, Towards a compositional method for coordinating Gamma programs, in: Proc. Coordination'96, Conf., Cesena, Lecture Notes in Computer Science, Vol. 1061, Springer, Berlin, 1996, pp. 107-123.
7. D. Cohen, J. Muylaert-Filho, Introducing a calculus for higher-order multiset programming, in: Proc. Coordination'96 Conf., Cesena, Lecture Notes in Computer Science, Vol. 1061, Springer, Berlin, 1996, pp. 124-141.
8. B. Courcelle, Graph rewriting: an algebraic and logic approach, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1990, Chapter 5.
9. C. Creveuil, Techniques d'analyse et de mise en œuvre des programmes Gamma, Ph.D. Thesis, University of Rennes, 1991.
10. P. Della Vigna, C. Ghezzi, Context-free graph grammars, Inform. and Control 37 (1978) 207-233.
11. P. Fradet, D. Le Métayer, Shape types, in: Proc. Principles of Programming Languages, ACM Press, Paris, 1997, pp. 27-39.
12. D. Garlan, D. Perry, Editor's Introduction, IEEE Trans. Software Engineering, Special Issue on Software Architectures, 1995.
13. C. Hankin, D. Le Métayer, D. Sands, A calculus of Gamma programs, in: Proc. 5th workshop on Languages and Compilers for Parallel Computing, Yale, Lecture Notes in Computer Science, Vol. 757, Springer, Berlin, 1992, pp. 342-355.
14. C. Hankin, D. Le Métayer, D. Sands, A paral el programming style and its algebra of programs, in: Proc. PARLE Conf., Munich, Lecture Notes in Computer Science, Vol. 694, Springer, Berlin, 1993, pp. 367-378.
15. A.A. Holzbacher, A software environment for concurrent coordinated programming, Proc. Ist Internat. Conf. on Coordination Models, Languages and Applications, Lecture Notes in Computer Science, Vol. 1061, Springer, Berlin, 1996, pp. 249-266.
16. P. Inverardi, A. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Trans. on Software Engrg. 21 (4) (1995) 373-386.
17. N. Klarlund, M. Schwartzbach, Graph types, in: Proc. Principles of Programming Languages, ACM Press, New York, 1993, pp. 196-205.
18. J. Kramer, Configuration programming. A framework for the development of distributable systems, Proc. COMPEURO'90, IEEE Press, New York, 1990, pp. 374-384.
19. D. Le Métayer, Higher-order multiset programming, in: Proc. DIMACS Workshop on Specifications of Parallel Algorithms, Dimacs series in Discrete Mathematics, Vol. 18, American Mathematical Society, Providence, RI, 1994.
20. D. Le Métayer, Software architecture styles as graph grammars, in: Proc. ACM SIGSOFT'96 4th Symp. on the Foundations of Software Engineering, 1996, pp. 15-23.
21. J.-C. Raoult, F. Voisin, Set-theoretic graph rewriting, in: Proc. Internat. Workshop on Graph Transformations in Computer Science, Lecture Notes in Computer Science, Vol. 776, Springer, Berlin, 1993, pp. 312-325.