-
DYNAMO
- Referenced in 261 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 617 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 127 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 34 articles
[sw21239]
- high-level algebraic and set notations from mathematical modeling languages with a rich constraint language...
-
LARCH
- Referenced in 104 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...
-
UFL
- Referenced in 63 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...
-
Alcoa
- Referenced in 28 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...
-
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...
-
ForTheL
- Referenced in 11 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...
-
Murphi
- Referenced in 16 articles
[sw22149]
- input language (also called Murphi) which is a guard -> action notation similar to Unity, which...
-
GF
- Referenced in 34 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...
-
OFMC
- Referenced in 28 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 25 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 22 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...