Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic Programming

ICLP 2009: Logic Programming pp 540–541Cite as

Research Summary

Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules

  • Conference paper

  • 739 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5649))

Abstract

Constraint Handling Rules (CHR) [1] has become a general-purpose rule-based programming language throughout the last decade. The relations to many other formalisms have been investigated [2] and often results could be transferred from CHR to other formalisms, or vice versa.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (to appear, 2009)

    Book  MATH  Google Scholar 

  2. Sneyers, J., Van Weert, P., Schrijvers, T., De Koninck, L.: As time goes by: Constraint Handling Rules – A survey of CHR research between 1998 and 2007. Accepted by Journal of Theory and Practice of Logic Programming (2008)

    Google Scholar 

  3. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  4. Plump, D.: Confluence of graph transformation revisited. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 280–308. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Raiser, F.: Graph Transformation Systems in CHR. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 240–254. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Raiser, F., Frühwirth, T.: Strong joinability analysis for graph transformation systems in CHR. In: 5th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2009 (2009)

    Google Scholar 

  7. Raiser, F., Frühwirth, T.: Operational equivalence of graph transformation systems. In: Sixth International Workshop on Constraint Handling Rules (submitted, 2009)

    Google Scholar 

  8. Raiser, F., Betz, H., Frühwirth, T.: Equivalence of CHR states revisited. In: Sixth International Workshop on Constraint Handling Rules (submitted, 2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Engineering and Computer Sciences, Ulm University, Germany

    Frank Raiser

Authors
  1. Frank Raiser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, University of Leeds, LS2 9JT, Leeds, UK

    Patricia M. Hill

  2. Deptartment of Computer Science, Stony Brook University, 11794-4400, Stony Brook, NY, USA

    David S. Warren

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raiser, F. (2009). Research Summary. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_54

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02846-5_54

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02845-8

  • Online ISBN: 978-3-642-02846-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation