• 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]
  • multi-criteria 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 rule-based modeling of software, validation of system properties by assigning ... system model, graph transformation based evolution of software, and the definition 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, max-plus...
  • MUSCOD-II

  • 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 high-level abstract models into finite-dimensional 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 non-interoperable and difficult...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • nets: An algebra of high-level Petri nets, with an application to the semantics ... concurrent programming languages. This paper describes a high-level Petri net model called M-nets ... model is that it allows both: unfolding, as do most other high-level 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 ... process-algebra style semantics, and yet provides modern and flexible specification constructs...
  • Maria

  • Referenced in 18 articles [sw04127]
  • constraints. The algebra contains powerful built-in data types and operations. Models can be exported ... programs written in procedural or object-oriented languages, or high-level specifications such...
  • APMonitor

  • Referenced in 5 articles [sw19694]
  • APMonitor Modeling Language is optimization software for mixed-integer 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...