• Nominal Isabelle

  • Referenced in 76 articles [sw12055]
  • General bindings and alpha-equivalence in Nominal Isabelle. Nominal Isabelle is a definitional extension ... about programming language calculi involving named bound variables (as opposed to de-Bruijn indices ... dealing with general bindings, that means term-constructors where multiple variables are bound at once ... Such general bindings are ubiquitous in programming language research and only very poorly supported with...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • Logic extends the XPath language with variable bindings and embeds it into first-order logic...
  • LNgen

  • Referenced in 7 articles [sw10111]
  • number of operations associated with variable binding and listed a number of properties, called “infrastructure...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • with shared variables acting as communication channels for the passing of partial bindings. Only...
  • Theseus

  • Referenced in 9 articles [sw19037]
  • free combinators of PI. Theseus has variables and binding forms, algebraic data types, function definitions...
  • Gmeta

  • Referenced in 4 articles [sw10110]
  • framework for first-order representations of variable binding that provides once and for all many...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • manipulating syntactical data involving statically scoped binding operations. User-declared FreshML datatypes involving binders ... deconstructed by matching against patterns naming bound variables explicitly. This may have the computational effect...
  • MLOG

  • Referenced in 2 articles [sw02152]
  • conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML ... kept for λ-calculus bindings and an unification ... primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern...
  • MOPBox

  • Referenced in 1 article [sw33222]
  • parametric, i.e., can contain variable bindings that bind abstract specification variables to concrete program values ... monitor reaches an error state for a binding v = o, MOPBox notifies clients ... call-back interface. To map variable bindings to monitors, MOPBox uses re-implementations of efficient ... generic as possible. States, transitions and variable bindings can be labeled not just with strings...
  • YAKKER

  • Referenced in 2 articles [sw17046]
  • YAKKER also includes (3) facilities for binding variables to intermediate parse results and (4) using...
  • DyC

  • Referenced in 13 articles [sw09692]
  • variables and code on which dynamic compilation should take place, a binding-time analysis computes ... cost/benefit trade-offs in the binding-time analysis and the run-time specializer are open ... lack of support for static global variables. This deficiency and DyC’s rudimentary support...
  • Bedwyr

  • Referenced in 23 articles [sw09460]
  • checking directly on syntactic expressions possibly containing bindings. This system, written in OCaml ... allow reasoning directly on expressions containing bound variables...
  • OccBin

  • Referenced in 9 articles [sw23376]
  • fashion to solve dynamic models with occasionally binding constraints. Our examples include a real business ... models with a large number of state variables...
  • XASP

  • Referenced in 5 articles [sw13876]
  • variables of Q, but also through the stable models produced for the various bindings...
  • PePr

  • Referenced in 2 articles [sw34561]
  • consistent or differential binding sites more favorably than sites with greater variability. We compared PePr ... occurrence rate and known characteristics of TF binding based on visual inspection. For histone modification...
  • XDress

  • Referenced in 1 article [sw21385]
  • generate Python bindings (via Cython) for C++ classes, functions, and certain variable types. It also ... maps). In the future, other tools and bindings will be supported. The main enabling feature...
  • Tess

  • Referenced in 1 article [sw39416]
  • possibly with variable sizes. The Tess library is a set of Python bindings...
  • RGCCTranslationUnit

  • Referenced in 5 articles [sw06077]
  • factoring for the removal of global variables (leading towards thread-safety), and generally collect data ... meta-data, and has support for generating bindings for most of the common...
  • PICS

  • Referenced in 3 articles [sw37329]
  • biological systems characterized and from variability and biases in its sequence data. We propose ... transcription factors from aligned reads. PICS identifies binding event locations by modeling local concentrations...
  • BioOptimizer

  • Referenced in 6 articles [sw17421]
  • gene expression. The experimental determination of TFs binding sites is expensive and time-consuming. Many ... motif width and two-block motifs with variable-length gaps. An algorithm called BioOptimizer...