Introduction to PROGRESS, an attribute graph grammar based specification language-Reference-Cited by-同舟云学术

Introduction to PROGRESS, an attribute graph grammar based specification language

Published:1990 Issue: Volume: Page:151-165
ISSN:0302-9743
Container-title:Graph-Theoretic Concepts in Computer Science
language:
Short-container-title:

Author:

Schürr Andy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52292-1_11.pdf

Reference34 articles.

1. T. Report;B. Alpern,1987

2. H. Ait-Kaci: 1984 A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures, Ph.D. Thesis; Philadelphia: University of Pennsylvania

3. R.M.Burstall, D.B.MacQueen, D.T.Sannella: HOPE — An Experimental Applicative Language, Technical Report CSR-62-80; Edinburgh University

4. R.J. Cunningham, A.J.J. Dick: 1985 Rewrite Systems on a Lattice of Types, in Acta Informatica 22, Berlin: Springer Verlag, pp. 149–169

5. R. Constable, D. Zlatin: 1984 The Type Theory of PL/CV3, in ACM TOPLAS, vol. 6, no. 1, pp. 94–117

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Effective and Efficient Model Clone Detection;Software, Services, and Systems;2015

2. Query-driven soft traceability links for models;Software & Systems Modeling;2014-10-08

3. Dark Knowledge and Graph Grammars in Automated Software Design;Software Language Engineering;2013

4. Query-Driven Soft Interconnection of EMF Models;Model Driven Engineering Languages and Systems;2012

5. Incremental Pattern Matching for the Efficient Computation of Transitive Closure;Lecture Notes in Computer Science;2012