Graph grammars and logic programming-Reference-Cited by-同舟云学术

Graph grammars and logic programming

Published: Issue: Volume: Page:221-237
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Corradini Andrea,Montanari Ugo,Rossi Francesca,Ehrig Hartmut,Löwe Michael

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0017392.pdf

Reference25 articles.

1. A. Asperti, S. Martini, Projections instead of variables, A category theoretic interpretation of logic programs, Proc. 6th Int. Conf. on Logic Programming, MIT Press, 1989, pp. 337–352.

2. M. Bauderon, B. Courcelle, Graph Expressions and Graph Rewritings, Mathematical System Theory 20, 1987, pp. 83–127.

3. H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, M.R. Sleep, Term graph reduction, in Proc. PARLE, LNCS 259, 1987, pp. 141–158.

4. V. Claus, H. Ehrig, G. Rozenberg, (Eds.) Proceedings of the 1 st International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, LNCS 73, 1979.

5. B. Courcelle, On using context-free graph grammars for analyzing recursive definitions, in Programming of Future Generation Computers II, K. Fuchi, L. Kott (Eds.), Elsevier-North-Holland, 1988, pp. 83–122.

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

1. Ugo Montanari and Graph Transformation;Concurrency, Graphs and Models;2008

2. Graph transformation for specification and programming;Science of Computer Programming;1999-04

3. Trace-based load characterization for generating performance software models;IEEE Transactions on Software Engineering;1999

4. An algebraic presentation of term graphs, via GS-monoidal categories;Applied Categorical Structures;1999

5. Jungle rewriting: An abstract description of a lazy narrowing machine;Graph Transformations in Computer Science;1994