
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, higherorder functions, recursion, and the selfhosting 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 multivariable 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 piecewisecontinuous 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 firstorder 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 topdown, 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 topdown 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 treestructured regression models...

Isabelle/ZF
 Referenced in 61 articles
[sw04973]
 functions, injections, surjections, ordinals and cardinals. Results proved include Cantor’s Theorem, the Recursion Theorem...

PROTOSL
 Referenced in 7 articles
[sw02876]
 addition to relations, also userdefined functions are available. The module concept is similar ... relations, nonrecursive 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 predefined templates...