• FreeFem++

  • Referenced in 1304 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated to the finite element method. It enables ... fast 2^d-tree-based interpolation algorithm and a language for the manipulation of data...
  • Z-Tree

  • Referenced in 643 articles [sw11707]
  • Zurich Toolbox for Readymade Economic Experiments. z-Tree is a widely used software package ... developing and carrying out economic experiments. The language used to define the experiments is simple ... experience is not necessary, though useful. z-Tree is flexible both with respect...
  • XPath

  • Referenced in 374 articles [sw15780]
  • XPath 2.0 is an expression language that allows the processing of values conforming ... Second Edition)]. The data model provides a tree representation of XML documents as well ... data model. The name of the language derives from its most distinctive feature, the path ... addressing of the nodes in an XML tree. XPath 2.0 is a superset of [XPath...
  • LISP

  • Referenced in 126 articles [sw07201]
  • earliest programming languages, Lisp pioneered many ideas in computer science, including tree data structures, automatic ... Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp source...
  • ANTLR

  • Referenced in 66 articles [sw03062]
  • files. It’s widely used to build languages, tools, and frameworks. From a grammar, ANTLR ... parser that can build and walk parse trees...
  • GF

  • Referenced in 34 articles [sw13667]
  • Framework (GF) is a special-purpose functional language for defining grammars. It uses a Logical ... syntax trees and parsing strings. GF can describe both formal and natural languages ... helps to eliminate run-time errors in language processing. In the same ... being edited, the trees can simultaneously be viewed in different languages. This paper starts with...
  • Abella

  • Referenced in 50 articles [sw09461]
  • system for reasoning about aspects of object languages that have been formally presented through recursive ... exploit the λ-tree syntax approach to treating binding in object languages. Amongst other things...
  • UFL

  • Referenced in 63 articles [sw11183]
  • programs. We present in this work the language and its construction. An implementation ... software library. The library generates abstract syntax tree representations of variational problems, which are used...
  • FeynCalc

  • Referenced in 69 articles [sw07022]
  • have used the program to calculate tree level diagrams as well ... package is written in the computer algebra languages Macsyma as well as Mathematica allowing...
  • CIL

  • Referenced in 36 articles [sw26691]
  • programs. This paper describes the C Intermediate Language: a highlevel representation along with ... syntax trees. But CIL is also more high-level than typical intermediate languages (e.g., three...
  • Isabelle/ZF

  • Referenced in 63 articles [sw04973]
  • software and proving properties of computer languages and protocols. Isabelle/ZF formalizes the greater part ... Theorem. Isabelle/ZF also provides theories of lists, trees, etc., for formalizing computational notions. It supports...
  • hlib

  • Referenced in 75 articles [sw04080]
  • routines are written in the C programming language using BLAS and LAPACK for lower-level ... support routines for the creation of cluster trees, visualization and numerical quadrature. This...
  • Vlfeat

  • Referenced in 46 articles [sw13478]
  • extractors, (hierarchical) k-means clustering, randomized kd-tree matching, and super-pixelization. The source code ... library integrates directly with MATLAB, a popular language for computer vision research...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • interior point algorithm, written in C programming language. Recent version is 2.21. You can find ... including BPMPD) on the pages of Decision Tree for Optimization Software. Press here to view...
  • LETHAL

  • Referenced in 2 articles [sw09918]
  • supports a great variety of regular tree language operations and property evaluations. More advanced concepts ... tree automata is to examine regular languages of trees, which are specially constructed sets...
  • XDuce

  • Referenced in 54 articles [sw12436]
  • language. XDuce is a statically typed programming language for XML processing. Its basic data values ... foundations in the theory of regular tree automata, and present a complete formal definition...
  • SHARPE

  • Referenced in 43 articles [sw03100]
  • toolkit that provides a specification language and solution methods for most of the commonly used ... types include combinatorial one such as fault-trees and queuing networks and state-space ones...
  • YakYak

  • Referenced in 2 articles [sw07540]
  • YakYak: Parsing with logical side constraints Programming language syntax is often described by means ... specifying constraints that are regular tree languages. Concise formulas about the parse tree replace explicit...
  • TravMC

  • Referenced in 2 articles [sw09396]
  • order model checking - the model checking of trees generated by higher-order recursion schemes (HORS ... basis for software model checking for functional languages such as ML and Haskell. In this ... automaton accept every tree in the tree language generated by the given HORSC? We first...
  • SXSLT

  • Referenced in 3 articles [sw02365]
  • language is a head-first rewriting system over abstract XML syntax trees, implemented ... traverse the original or the transformed trees. The language can emulate XSLT in whole...