• Python

  • Referenced in 2164 articles [sw14460]
  • express concepts in fewer lines of code than would be possible in languages such...
  • Isabelle/HOL

  • Referenced in 1025 articles [sw01569]
  • allows mathematical formulas to be expressed in a formal language and provides tools for proving...
  • XPath

  • Referenced in 375 articles [sw15780]
  • XPath 2.0 is an expression language that allows the processing of values conforming ... atomic values. The result of an XPath expression may be a selection of nodes from ... language derives from its most distinctive feature, the path expression, which provides a means...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • allows mathematical formulas to be expressed in a formal language and provides tools for proving...
  • LINGO

  • Referenced in 321 articles [sw04942]
  • integrated package that includes a powerful language for expressing optimization models, a full featured environment...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • specifying new inductive types, provide an expressive language for formalization of mathematical problems and program...
  • ANSYS-CFX

  • Referenced in 107 articles [sw06391]
  • session files, scripting and a powerful expression language...
  • CASL

  • Referenced in 174 articles [sw02235]
  • called Casl: the Common Algebraic Specification Language. Its main features are as follows: Casl ... known constructs. It is an expressive, simple, pragmatic language. It is suitable for specifying requirements...
  • PDDL

  • Referenced in 106 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension to PDDL for expressing temporal planning domains ... development of a modelling language capable of expressing temporal and numeric properties of planning domains...
  • Ox

  • Referenced in 493 articles [sw09501]
  • object-oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices ... used directly in expressions, for example to multiply two matrices, or to invert a matrix...
  • Julia

  • Referenced in 490 articles [sw13986]
  • beginning by adapting and extending modern programming language techniques. A design based on generic functions ... rich type system simultaneously enables an expressive programming model and successful type inference, leading...
  • AVISPA

  • Referenced in 88 articles [sw03172]
  • applications. It provides a modular and expressive formal language for specifying protocols and their security...
  • Stratego

  • Referenced in 78 articles [sw01259]
  • program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies ... syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus...
  • JuMP

  • Referenced in 135 articles [sw16108]
  • open-source modeling language that allows users to express a wide range of optimization problems ... advanced features of the Julia programming language to offer unique functionality while achieving performance...
  • ML

  • Referenced in 524 articles [sw01218]
  • Language’) is a general-purpose functional programming language. It has roots in Lisp ... which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures ... currying. It is used heavily in programming language research...
  • DiffSharp

  • Referenced in 95 articles [sw16033]
  • functions can use the full expressive capability of the language including control flow. DiffSharp allows...
  • Scala

  • Referenced in 91 articles [sw07180]
  • programming. Scala is a highly expressive, concise and scalable language. It is also the most...
  • MINION

  • Referenced in 53 articles [sw10176]
  • general-purpose constraint solver, with an expressive input language based on the common constraint modelling...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • language for describing probabilistic models. The expression language allows the description of arbitrarily complex generative ... addition, IBAL’s observation language makes it possible to express and compose rejective models that ... these are packaged together into a programming language that has a rich type system...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • engine, a language that is optimized for operating on symbolic math expressions, and an extensive ... interface provides access to the complete MuPAD language. Computer algebra system...