• FreeFem++

  • Referenced in 1396 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated to the finite element method. It enables ... data on several meshes and their manipulation within one program. FreeFem++ includes a fast ... based interpolation algorithm and a language for the manipulation of data on multiple meshes ... written in C++ and the FreeFem++ language is a C++ idiom. It runs...
  • PERL

  • Referenced in 274 articles [sw01225]
  • Programming Perl. Perl is a language for easily manipulating text, files, and processes. Perl provides ... with difficulty) by programming in the C language or one of the shells. While this...
  • Octave

  • Referenced in 312 articles [sw00646]
  • also be used as a batch-oriented language. Octave has extensive tools for solving common ... roots of nonlinear equations, integrating ordinary functions, manipulating polynomials, and integrating ordinary differential and differential ... defined functions written in Octave’s own language, or using dynamically loaded modules written...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • based on KQML (Knowledge Query and Manipulation Language) and OMRS (Open Mechanized Reasoning Systems...
  • KQML

  • Referenced in 31 articles [sw29718]
  • KQML - A Language and Protocol for Knowledge and Information Exchange. This paper describes the design ... experimentation with the Knowledge Query and Manipulation Language (KQML), a new language and protocol...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • symbolic manipulation of first-order formulas over some temporarily fixed language and theory. In contrast...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • rule- and pattern-based transformation language for manipulating graph models by combining graph transformation ... This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models...
  • DIANA

  • Referenced in 22 articles [sw02902]
  • interpreter of a special text manipulating language. This language is used to create a source...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • from one computing environment to another. The language consists of a core Linda with multiple ... they can be manipulated like any other data), but the language provides coordination mechanisms...
  • pandas

  • Referenced in 79 articles [sw16121]
  • kinds of data manipulation tools found in other statistical programming languages such...
  • SAS/IML

  • Referenced in 82 articles [sw03240]
  • System provides a powerful and flexible programming language in a dynamic, interactive environment for programmers ... data manipulation and general statistical analysis, then employ SAS/IML software’s interactive matrix language...
  • LISP

  • Referenced in 127 articles [sw07201]
  • Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp source ... lists. As a result, Lisp programs can manipulate source code as a data structure, giving ... syntax or even new domain-specific languages embedded in Lisp. The interchangeability of code...
  • HIP

  • Referenced in 29 articles [sw09786]
  • automatic verification of functional correctness of heap manipulating programs. HIP is a separation logic based ... automated verification system for a simple imperative language, able to modularly ... verify the specifications of heap-manipulating programs. The specification language allows user defined inductive predicates...
  • ALLTYPES

  • Referenced in 20 articles [sw02307]
  • ALLTYPES: An algebraic language and type system. The software system ALLTYPES provides an environment that ... objects represented by these types may be manipulated by more than one hundred polymorphic functions ... seven basic language constructs is defined for implementing mathematical algorithms. The easy manipulation of types ... special portion of the language dedicated to manipulating typed objects, i.e. for performing user-defined...
  • TXL

  • Referenced in 18 articles [sw11319]
  • special-purpose programming language designed for creating, manipulating and rapidly prototyping language descriptions, tools...
  • Ruby

  • Referenced in 34 articles [sw16267]
  • dynamic class manipulation. They make Ruby a popular, highly productive scripting language, but they also...
  • FAdo

  • Referenced in 16 articles [sw10335]
  • tools for symbolic manipulation of formal languages. To allow high-level programming with complex data ... theory and formal languages. For the graphical visualization and interactive manipulation a new interface application...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • logic-programming style XML data manipulation language. We define XPathLog as a Datalog-style extension ... XPathLog provides a clear, declarative language for querying and manipulating XML whose perspectives are especially ... characterization of XML data and the main language concept for XML, XPath. XPath-Logic extends ... Datalog-style, rule-based language for querying and manipulating XML data. The model-theoretic semantics...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • family of synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited ... program that handles the interface and data manipulations. It can also generate hardware ... Polis group as one of their input languages for their hardware/software co-design system...
  • GIMP

  • Referenced in 16 articles [sw24779]
  • quality framework for scripted image manipulation, with multi-language support such as C, C++, Perl...