• DYNAMO

  • Referenced in 250 articles [sw01227]
  • DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system dynamics ... earliest versions were written in assembly language for the IBM 704, then...
  • AMPL

  • Referenced in 581 articles [sw04001]
  • comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete ... Bell Laboratories, AMPL lets you use common notation and familiar concepts to formulate optimization models...
  • LISP

  • Referenced in 126 articles [sw07201]
  • programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation ... second-oldest high-level programming language in widespread use today; only Fortran is older ... originally created as a practical mathematical notation for computer programs, influenced ... notation of Alonzo Church’s lambda calculus. It quickly became the favored programming language...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited ... first order functional notation. On the other side, the language uses narrowing as the basis...
  • OPL

  • Referenced in 30 articles [sw21239]
  • high-level algebraic and set notations from mathematical modeling languages with a rich constraint language...
  • LARCH

  • Referenced in 103 articles [sw02126]
  • specify interfaces between programs in different languages. Interface specifications rely on definitions from auxiliary specifications ... limited to a fixed set of notations, but can use LSL to define specialized vocabularies...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • investigated. Alcoa’s input language, Alloy, is a new notation based on Z. Its development...
  • WSOL

  • Referenced in 7 articles [sw02391]
  • Language) is an XML (Extensible Markup Language) notation compatible with the WSDL (Web Services Description...
  • vUML

  • Referenced in 20 articles [sw09471]
  • models. The Unified Modelling Language (UML) is a standardised notation for describing object oriented software ... SPIN or the PROMELA language. If an error is found during the verification, the tool...
  • UFL

  • Referenced in 47 articles [sw11183]
  • Language (UFL), which is a domain-specific language for representing weak formulations of partial differential ... notation, resulting in compact, intuitive and readable programs. We present in this work the language...
  • DACTL

  • Referenced in 28 articles [sw02871]
  • number of languages can be described as graph rewriting transformations using Dactl notation. This ... syntax and semantics of the language. Some implementation issues are also discussed...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • input language (also called Murphi) which is a guard -> action notation similar to Unity, which...
  • GF

  • Referenced in 32 articles [sw13667]
  • Framework (GF) is a special-purpose functional language for defining grammars. It uses a Logical ... abstract syntax, and adds to this a notation for defining concrete syntax. GF grammars themselves ... describe both formal and natural languages. The key notion of this description is a grammatical...
  • ForTheL

  • Referenced in 8 articles [sw09797]
  • mathematical texts, which imitates the natural (English) language of mathematical publications issued by human beings ... basing on a terse unifying notation of some traditional language of logic...
  • COSY

  • Referenced in 14 articles [sw30494]
  • system specification language based on paths and processes. A new notation for specifying systems...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • languages with support for algebraic properties of cryptographic operators and with a simple notation...
  • Zinc

  • Referenced in 26 articles [sw08334]
  • modelling language. Zinc is a new modelling language developed as part of the G12 project ... models using a natural mathematical-like notation. To do so it supports overloaded functions ... Zinc is a relatively simple and small language, it can be readily extended to different...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • extension of FORTRAN 77. Various language concepts which are available in a ACRITH ... product expressions”, ACRITH-XSC provides a special notation which guarantees that expressions of this type ... algorithms to attain high accuracy.\parThe main language features and numerical tools of ACRITH...
  • MMT

  • Referenced in 16 articles [sw07905]
  • specification language supported by MMT. MSDF syntax is quite close to MSOS mathematical notation ... several different examples from programming languages semantics and concurrent systems. This paper reports...
  • Celldesigner

  • Referenced in 19 articles [sw09942]
  • notation system proposed by Kitano, and are stored using the Systems Biology Markup Language (SBML...