Computational Completeness of Programming Languages Based on Graph Transformation

@inproceedings{Habel2001ComputationalCO,
  title={Computational Completeness of Programming Languages Based on Graph Transformation},
  author={Annegret Habel and Detlef Plump},
  booktitle={FoSSaCS},
  year={2001}
}
We identify a set of programming constructs ensuring that a programming language based on graph transformation is computationally complete. These constructs are (1) nondeterministic application of a set of graph transformation rules, (2) sequential composition and (3) iteration. This language is minimal in that omitting either sequential composition or iteration results in a computationally incomplete language. By computational completeness we refer to the ability to compute every computable… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 47 CITATIONS

Efficient Graph Rewriting

VIEW 21 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

From imperative to rule-based graph programs

  • J. Log. Algebr. Meth. Program.
  • 2017
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Towards Graph Programs for Graph Algorithms

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Double-pushout graph transformation revisited

  • Mathematical Structures in Computer Science
  • 2001
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Formal definition of a general ontology pattern language using a graph grammar

  • 2017 Federated Conference on Computer Science and Information Systems (FedCSIS)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

7/99

Annegret Habel, Jürgen Müller, Detlef Plump. Double-pushout graph transformation revisit Nr
  • Fachbereich Informatik, Universität Oldenburg,
  • 1999
VIEW 2 EXCERPTS

14th IEEE Symposium on Visual Languages

Peter J. Rodgers. A graph rewriting programming language Proc
  • IEEE Computer Society Press,
  • 1998
VIEW 1 EXCERPT

A graph rewriting programming language for graph drawing

  • Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)
  • 1998

Prentice-Hall

Harry R. Lewis, Christos H. Papadimitriou. Elements of the Theory of Computation
  • second edition,
  • 1998
VIEW 2 EXCERPTS

Dactl: An Experimental Graph Rewriting Language

  • Graph-Grammars and Their Application to Computer Science
  • 1990
VIEW 1 EXCERPT