Results 1 to 20 of 183
Sort by:

  • DYNAMO
  • Referenced in 251 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 590 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 31 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...

  • UFL
  • Referenced in 56 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...

  • 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...

  • 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 9 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...

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

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

  • 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...

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

  • 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...