• NQTHM

  • Referenced in 146 articles [sw07543]
  • logic itself are the efficient use of functions in the logic as new proof procedures ... permission of bounded quantification and partial recursive functions. These changes in the logic were described...
  • LISP

  • Referenced in 126 articles [sw07201]
  • management, dynamic typing, conditionals, higher-order functions, recursion, and the self-hosting compiler ... expressions, or parenthesized lists. A function call or syntactic form is written as a list...
  • VeriFast

  • Referenced in 56 articles [sw07705]
  • declare inductive datatypes and primitive recursive functions for specification. Verification proceeds by symbolic execution using ... equivalences and facts about the primitive recursive functions. An SMT solver is used to solve...
  • Dafny

  • Referenced in 62 articles [sw00183]
  • verifier can be used to verify the functional correctness of programs.The Dafny programming language ... language also offers updatable ghost variables, recursive functions, and types like sets and sequences. Specifications...
  • Nitpick

  • Referenced in 57 articles [sw00622]
  • inductive predicates and datatypes, and (co)recursive functions. Fundamentally a finite model finder, it approximates...
  • dSPIN

  • Referenced in 31 articles [sw09888]
  • memory references (pointers); dynamic memory allocation/deletion; recursive functions; function code references (function pointers); garbage collection...
  • libMC

  • Referenced in 42 articles [sw06615]
  • concave relaxations of a given factorable function, a recursive procedure is first employed to develop ... reverse mode, which performs similar recursive operations, but works through the evaluation trace backwards. Only ... libMC. Moreover, subgradients for multi-variable functions are calculated along various seed directions in libMC...
  • Yices

  • Referenced in 136 articles [sw04436]
  • uninterpreted function symbols with equality, linear real and integer arithmetic, scalar types, recursive datatypes, tuples...
  • Chebfun

  • Referenced in 310 articles [sw05897]
  • involving numbers to continuous or piecewise-continuous functions. It also implements continuous analogues of linear ... Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic differentiation...
  • rpart

  • Referenced in 117 articles [sw07115]
  • Recursive partitioning for classification, regression and survival trees. An implementation of most of the functionality...
  • Leon

  • Referenced in 10 articles [sw09159]
  • verification system: verification by translation to recursive functions. We present the Leon verification system ... Scala programming language. Along with several functional features of Scala, Leon supports imperative constructs such ... loops, using a translation into recursive functional form. Both properties and programs in Leon ... procedure for first-order constraints with recursive functions, which is the core solving engine...
  • TIL

  • Referenced in 13 articles [sw22185]
  • polymorphic language. We use conventional functional language optimization to reduce the cost of intensional polymorphism ... optimization to generate good code for recursive functions. We present an example of TIL compiling...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • introduced as a top-down, recursive function, similar to the way XSL is defined ... trees. On cyclic data, structural recursion can be defined ... equivalent ways: as a recursive function which evaluates the data top-down and remembers ... relational queries to be applied to structural recursion. We show that the composition...
  • HipSpec

  • Referenced in 12 articles [sw07736]
  • automatically deriving and proving properties about functional programs. It uses a novel approach, combining theory ... equational theorems about the available recursive functions of a program. These equational properties make...
  • FR

  • Referenced in 11 articles [sw14544]
  • package FR. Computations with functionally recursive groups...
  • AURA

  • Referenced in 10 articles [sw11482]
  • ordinary programming constructs (e.g., integers and recursive functions) and authorization logic constructs (e.g., principals...
  • party

  • Referenced in 25 articles [sw07330]
  • Recursive Partytioning. A computational toolbox for recursive partitioning. The core of the package is ctree ... random forests. The function mob() implements an algorithm for recursive partitioning based on parametric models ... parameter instability tests for split selection. Extensible functionality for visualizing tree-structured regression models...
  • Isabelle/ZF

  • Referenced in 61 articles [sw04973]
  • functions, injections, surjections, ordinals and cardinals. Results proved include Cantor’s Theorem, the Recursion Theorem...
  • PROTOS-L

  • Referenced in 7 articles [sw02876]
  • addition to relations, also user-defined functions are available. The module concept is similar ... relations, non-recursive as well as recursive function free deduction rules can be defined. PROTOS...
  • PREVAIL

  • Referenced in 7 articles [sw02114]
  • level, the descriptions are translated into recursive functions, according to pre-defined templates...