Folgen
Detlef Plump
Detlef Plump
Department of Computer Science, University of York
Bestätigte E-Mail-Adresse bei york.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Graph transformation for specification and programming
M Andries, G Engels, A Habel, B Hoffmann, HJ Kreowski, S Kuske, ...
Science of Computer programming 34 (1), 1-54, 1999
3081999
Term graph rewriting
D Plump
Handbook of Graph Grammars and Computing by Graph Transformation 2, 3-61, 1999
2471999
Hierarchical graph transformation
F Drewes, B Hoffmann, D Plump
Journal of Computer and System Sciences 64 (2), 249-283, 2002
2072002
Double-pushout graph transformation revisited
A Habel, J Müller, D Plump
Mathematical Structures in Computer Science 11 (5), 637-688, 2001
1792001
Hypergraph rewriting: Critical pairs and undecidability of confluence
D Plump
Term graph rewriting: theory and practice, 201-213, 1993
1441993
Computational completeness of programming languages based on graph transformation
A Habel, D Plump
Foundations of Software Science and Computation Structures (FOSSACS 2001 …, 2001
1272001
Termination of graph rewriting is undecidable
D Plump
Fundamenta Informaticae 33 (2), 201-209, 1998
1271998
The graph programming language GP
D Plump
Conference on Algebraic Informatics (CAI 2009), 99-122, 2009
1122009
Confluence of graph transformation revisited
D Plump
Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated …, 2005
1112005
Relabelling in graph transformation
A Habel, D Plump
International Conference on Graph Transformation (ICGT 2002), 135-147, 2002
1112002
Hoare-style verification of graph programs
CM Poskitt, D Plump
Fundamenta Informaticae 118 (1-2), 135-175, 2012
97*2012
The Design of GP 2
D Plump
Workshop on Reduction Strategies in Rewriting and Programming (WRS2011), 1-16, 2012
882012
Jungle evaluation
A Habel, HJ Kreowski, D Plump
Fundamenta Informaticae 15 (1), 37-60, 1991
791991
Towards graph programs for graph algorithms
D Plump, S Steinert
International Conference on Graph Transformation (ICGT 2004), 128-143, 2004
782004
Implementing term rewriting by jungle evaluation
B Hoffmann, D Plump
RAIRO Theoretical Informatics and Applications 25 (5), 445-472, 1991
711991
Specifying pointer structures by graph reduction
A Bakewell, D Plump, C Runciman
Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003 …, 2004
642004
Evaluation of functional expressions by hypergraph rewriting
D Plump
ThŁse de Doctorat d’UniversitØ, Universitat Bremen, 1993
541993
Verifying monadic second-order properties of graph programs
CM Poskitt, D Plump
International Conference on Graph Transformation, 33-48, 2014
532014
On termination of graph rewriting
D Plump
Graph-Theoretic Concepts in Computer Science (WG '95), 88-100, 1995
531995
Jungle evaluation for efficient term rewriting
B Hoffmann, D Plump
Algebraic and Logic Programming, 191-203, 1988
521988
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20