Showing 1 - 20 results of 53 for search '"graph rewriting"', query time: 0.10s Refine Results
  1. 1
    Efficient Graph Rewriting and its Implementation
    by Dorr, Heiko
    Published 1995
    Book
  2. 2
    Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /
    Published 2000
    Table of Contents: “…Modularization Concepts -- Term Graph Rewriting and Mobile Expressions in Functional Languages…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
    Published 2008
    Table of Contents: “… Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings /
    Published 2017
    Table of Contents: “… -- Confluence of Graph Rewriting with Interfaces -- Verifying Robustness of Event-Driven Asynchronous Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers /
    Published 2014
    Table of Contents: “… complexity of graph and network problems -- Graph grammars, graph rewriting systems and graph modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Adaptive Networks Theory, Models and Applications /
    Published 2009
    Table of Contents: “… Power for Minimal Effort in Social Networks -- V Graph-Rewriting-Based Approaches -- Graph-Rewriting…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
    Published 2015
    Table of Contents: “…Polymorphic Sesqui-Pushout Graph Rewriting -- Predictive Top-Down Parsing for Hyperedge Replacement…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    Published 2008
    Table of Contents: “…, and confluence. -- Term-Graph Rewriting Via Explicit Paths -- Finer Is Better: Abstraction Refinement…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Category Theory and Computer Science 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /
    Published 1997
    Table of Contents: “…-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers /
    Published 2005
    Table of Contents: “… Transformations with Graph Rewriting Rules -- Open MDA Using Transformational Patterns -- “Weaving” MTL Model…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “… for Garbage Collection with Application to Graph Rewriting -- Non Strict Confluent Rewrite Systems for Data…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Unifying Petri Nets Advances in Petri Nets /
    Published 2001
    Table of Contents: “… Classes -- Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /
    Published 2000
    Table of Contents: “… Concepts -- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings /
    Published 2000
    Table of Contents: “… of Strictness Analysis via Term Graph Rewriting -- Checking Cleanness in Linked Lists -- Confidentiality…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
    Published 2008
    Table of Contents: “… Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
    Published 2010
    Table of Contents: “…-by-Need Evaluation -- Complexity Analysis by Graph Rewriting -- Least Upper Bounds on the Size of Church…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
    Published 1997
    Table of Contents: “… -- Conditional term graph rewriting -- Lazy narrowing with parametric order sorted types -- Termination…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Generative and Component-Based Software Engineering First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers /
    Published 2000
    Table of Contents: “… with Graph Rewriting -- Aspects in Distributed Environments -- Generative Approaches -- Lightweight…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Events Is Enough for Local Policies -- The Graph Rewriting Calculus: Confluence and Expressiveness…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search