
AROM
 Referenced in 2 articles
[sw06754]
 classes instances. Secondly, AROM integrates an algebraic modeling language (AML) for describing operational knowledge (equations...

PolySCIP
 Referenced in 2 articles
[sw15158]
 multicriteria models via an algebraic modelling language...

AGG
 Referenced in 49 articles
[sw04449]
 general development environment for algebraic graph transformation systems which follows the interpretative approach. Its special ... include graph and rulebased modeling of software, validation of system properties by assigning ... system model, graph transformation based evolution of software, and the deﬁnition of visual languages based...

Kleene Algebra
 Referenced in 7 articles
[sw32203]
 their most important models as axiomatic type classes in Isabelle/HOL. Kleene algebras are foundational structures ... computing with applications ranging from automata and language theory to computational modeling, program construction ... that powersets over a given monoid, (regular) languages, sets of paths in a graph, sets ... formal power series form Kleene algebras, and consider further models based on lattices, maxplus...

MUSCODII
 Referenced in 18 articles
[sw13053]
 models formulated either in the gPROMS modeling language (PSE Ltd.), in FORTRAN...

OPTMODEL
 Referenced in 4 articles
[sw06280]
 virtually transparent since the modeling language mimics the symbolic algebra of the formulation as closely ... simplifies the critical process of populating optimization models with data from SAS data sets...

pyomo.dae
 Referenced in 1 article
[sw26557]
 integrated with the Pyomo open source algebraic modeling language, and is available at http://www.pyomo.org ... differential equations, providing a high degree of modeling flexibility and the ability to express constraints ... that cannot be easily specified in other modeling frameworks. Other key features of pyomo.dae ... automatically transform highlevel abstract models into finitedimensional algebraic problems that can be solved...

Parampl
 Referenced in 1 article
[sw14824]
 recent years. AMPL is a comprehensive algebraic modeling language for formulating optimization problems. However, AMPL...

AoPA
 Referenced in 8 articles
[sw09832]
 dependently typed programming language Agda. A program is coupled with an algebraic derivation whose correctness ... recursion is used to model terminating hylomorphisms in a language with inductive types...

OFMC
 Referenced in 26 articles
[sw09466]
 model checker (the previous OFMC). The native input language of OFMC is the AVISPA Intermediate ... style language that extends previous similar languages with support for algebraic properties of cryptographic operators...

LATIN
 Referenced in 15 articles
[sw19699]
 like (semi)automated theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers ... domains of applications, foundational assumptions, and input languages, which makes them noninteroperable and difficult...

Mnets
 Referenced in 11 articles
[sw09132]
 nets: An algebra of highlevel Petri nets, with an application to the semantics ... concurrent programming languages. This paper describes a highlevel Petri net model called Mnets ... model is that it allows both: unfolding, as do most other highlevel net models ... this domain have various algebraic properties. Moreover, the model is such that composition operations...

MINOPT
 Referenced in 6 articles
[sw04939]
 advanced modeling language for the clear and concise representation of complex mathematical models as well ... both differential and algebraic constraints. The result is an advanced modeling language and algorithmic framework...

COOPR
 Referenced in 5 articles
[sw04914]
 applications: Pyomo: Formulate algebraic models within Python’s modern programming language PySP: Generic solvers...

ECOS
 Referenced in 37 articles
[sw12123]
 dedicated libraries for the required linear algebra computations operating on the (sparse) problem data ... interfaces to the following programming and modeling languages: CVX (Michael Grant), YALMIP (Johan Löfberg), Julia...

TRAM
 Referenced in 2 articles
[sw03369]
 method of modeling and specifying abstract data types, has been widely attracting attention since they ... algebraic specification languages can be executed on stock hardware, the specification languages can be used ... general computation model for advanced algebraic specification languages such as OBJ and CafeOBJ. TRAM adopts...

MOTOR
 Referenced in 8 articles
[sw02988]
 specification language we recently developed. It provides a wide spectrum of modeling concepts, possesses rigid ... processalgebra style semantics, and yet provides modern and flexible specification constructs...

Maria
 Referenced in 18 articles
[sw04127]
 constraints. The algebra contains powerful builtin data types and operations. Models can be exported ... programs written in procedural or objectoriented languages, or highlevel specifications such...

APMonitor
 Referenced in 5 articles
[sw19694]
 APMonitor Modeling Language is optimization software for mixedinteger and differential algebraic equations...

Hiord
 Referenced in 4 articles
[sw07313]
 languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras ... formalism is shown sound. A programming language built on a subset of Hiord...