Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus

Niels Bjørn Bugge Grathwohl, J. Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    51 Downloads (Pure)

    Abstract

    We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.
    Original languageUndefined
    Title of host publicationProceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11)
    Place of PublicationDagstuhl, Germany
    PublisherDagstuhl
    Pages61-70
    Number of pages10
    ISBN (Print)978-3-939897-30-9
    DOIs
    Publication statusPublished - May 2011

    Publication series

    NameLeibniz International Proceedings in Informatics (LIPIcs)
    PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik
    Volume10
    ISSN (Print)1868-8969

    Keywords

    • METIS-277646
    • IR-77314
    • Term rewriting
    • Lambda calculus
    • Reduction graphs
    • EWI-20183
    • CR-H.5.0
    • CR-I.3.0
    • CR-F.3.1
    • CR-F.4.2
    • Visualization

    Cite this