• MU-TERM

  • Referenced in 34 articles [sw10015]
  • Context-Sensitive Rewriting. Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite ... sequences issued from every term. Context-sensitive rewriting (CSR) is an example of such...
  • CiME

  • Referenced in 38 articles [sw09970]
  • CiME is a rewriting toolbox. Distributed since 1996 as open source, at URL http://cime.lri.fr ... www.dsic.upv.es/ slucas/csr/termination/muterm/ ) for termination of context-sensitive rewriting; the CARIBOO tool (developed at INRIA Nancy...
  • Stratego

  • Referenced in 74 articles [sw01259]
  • object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development...
  • VMTL

  • Referenced in 8 articles [sw10065]
  • analyzing the termination behaviour of conditional term rewriting systems (CTRSs). Using one of the latest ... resulting restricted termination problems (for unconditional context-sensitive TRSs) are processed with dedicated algorithms...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • Clean is a functional language based on Term...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • UCFL

  • Referenced in 11 articles [sw02951]
  • Church-Rosser languages vs. UCFL. The class of...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • GC 2: a generational conservative garbage collector for...
  • TAMPR

  • Referenced in 6 articles [sw03197]
  • TAMPR (Transformation Assisted Multiple Program Realisation System) is...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Miranda

  • Referenced in 152 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...
  • OBJ3

  • Referenced in 138 articles [sw05370]
  • OBJ3 is a program specification and proof system...
  • CafeOBJ

  • Referenced in 167 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...
  • Maude

  • Referenced in 666 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • OCaml is the most popular variant of the...
  • GHC

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • AProVE

  • Referenced in 148 articles [sw07831]
  • AProVE 1.2: Automatic Termination Proofs in the Dependency...