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)


    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
    Number of pages10
    ISBN (Print)978-3-939897-30-9
    Publication statusPublished - May 2011

    Publication series

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


    • 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