Matching Logic - Old Implementations

From Matching Logic
Jump to: navigation, search

(back to Matching Logic)


  • Download 25px-Zip_icon.png first prototype Info_circle.png (Implemented in Maude)
    • This version comes with the Schorr-Waite algorithm as well as programs using lists, queues, and trees.
  • Download 25px-Zip_icon.png latest prototype Info_circle.png (Implemented in K-Maude)
    • This version is a complete rewrite using our new K-Maude tool. The zip contains over 100 example programs written in HIMP including many typical Hoare-level programs (sum to n, fibonacci, factorial) as well as some linked list programs (append, reverse, and length).
  • Download 25px-Zip_icon.png language pack Info_circle.png
    • This includes executable definitions of the IMP, HIMP, and KernelC languages written in K-Maude, together with example programs for each.
Personal tools
Namespaces

Variants
Actions
Navigation