101 results on '"Detlef Plump"'
Search Results
2. Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem.
3. Formalising the Double-Pushout Approach to Graph Transformation.
4. Random Graph Generation in Context-Free Graph Languages.
5. Towards Mechanised Proofs in Double-Pushout Graph Transformation.
6. Time and Space Measures for a Complete Graph Computation Model.
7. Formalising the Double-Pushout Approach to Graph Transformation.
8. Verifying Graph Programs with Monadic Second-Order Logic.
9. Confluence up to Garbage.
10. A Small-Step Operational Semantics for GP 2.
11. Evolving graphs with semantic neutral drift.
12. Confluence up to garbage in graph transformation.
13. Monadic second-order incorrectness logic for GP 2.
14. Linear-Time Graph Algorithms in GP 2.
15. Evolving graphs with horizontal gene transfer.
16. Verifying Graph Programs with First-Order Logic.
17. A Fast Graph Program for Computing Minimum Spanning Trees.
18. Horizontal gene transfer for recombining graphs.
19. Evolving Graphs by Graph Programming.
20. Verifying a Copying Garbage Collector in GP 2.
21. Modular Termination of Graph Transformation.
22. Probabilistic Graph Programs for Randomised and Evolutionary Algorithms.
23. Confluence up to Garbage in Graph Transformation.
24. Fast rule-based graph programs.
25. Checking Graph Programs for Confluence.
26. Fast Rule-Based Graph Programs.
27. Verifying Graph Programs with First-Order Logic (Extended Version).
28. Improving the GP 2 Compiler.
29. The Improved GP 2 Compiler.
30. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem.
31. Towards Critical Pair Analysis for the Graph Programming Language GP 2.
32. Compiling Graph Programs to C.
33. From imperative to rule-based graph programs.
34. Efficient Recognition of Graph Languages.
35. Reasoning about Graph Programs.
36. Verifying Monadic Second-Order Properties of Graph Programs.
37. $\mathcal M, \mathcal N$ -Adhesive Transformation Systems.
38. Semantic Neutral Drift.
39. A Hoare Calculus for Graph Programs.
40. A Reference Interpreter for the Graph Programming Language GP 2.
41. Preface to the special issue on the 10th International Conference on Graph Transformation.
42. The Graph Programming Language GP.
43. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
44. Graph Transformation in Constant Time.
45. Confluence of Graph Transformation Revisited.
46. Towards Graph Programs for Graph Algorithms.
47. Specifying Pointer Structures by Graph Reduction.
48. Diagrams for Meaning Preservation.
49. Checking the Shape Safety of Pointer Manipulations.
50. A Unification Algorithm for GP 2 (Long Version).
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.