
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 ... secondoldest highlevel 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 wellbounded 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]
 highlevel 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 domainspecific 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 specialpurpose 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 mathematicallike 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...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 extension of FORTRAN 77. Various language concepts which are available in a ACRITH ... product expressions”, ACRITHXSC 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...