• ANML

  • Referenced in 2 articles [sw12930]
  • ANML language. The Action Notation Modeling Language (ANML) provides a high-level, convenient, and succinct...
  • HYPROLOG

  • Referenced in 14 articles [sw02743]
  • language processing, and we can show how HYPROLOG works seamlessly together with the grammar notation ... pure” sublanguages, while for the full HYPROLOG language, it must be taken as definition...
  • ANNA

  • Referenced in 10 articles [sw36323]
  • made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially ... possible on notation and concepts of ADA. 2. ANNA should possess language features that...
  • Turtle

  • Referenced in 6 articles [sw25696]
  • Description Framework (RDF) is a general-purpose language for representing information in the Web. This ... compatibility with the existing N-Triples and Notation 3 formats as well as the triple ... Proposed Recommendation. This document specifies a language that is in common usage under the name ... compatible with, and a subset of, Notation...
  • Localizer

  • Referenced in 19 articles [sw21238]
  • design and implementation of Localizer, a modeling language for implementing local search algorithms. Localizer makes ... express local search algorithms in a notation close to their informal descriptions in scientific papers...
  • Idris

  • Referenced in 34 articles [sw20011]
  • general purpose pure functional programming language with dependent types. Dependent types allow types ... Haskell); Type-driven overloading resolution; do notation and idiom brackets; Indentation significant syntax; Extensible syntax...
  • APL2

  • Referenced in 11 articles [sw24872]
  • APL2® is a programming language for users and developers. It provides a collection of functions ... notation, for example, that helps internationalize code because it is independent of national language...
  • StAMPL

  • Referenced in 3 articles [sw06421]
  • modularity than is possible using the mathematical notation commonly associated with stochastic programming. To experiment ... based on the AMPL modeling language. StAMPL implements our notation and converts models written ... notation to instances that can be solved using standard methods. Using this approach ... almost all the power of the AMPL language...
  • ArcAngel

  • Referenced in 14 articles [sw01812]
  • ArcAngel: a tactic language for refinement. Morgan’s refinement calculus is a successful technique ... Also, it is useful to have a notation for describing derivations, so that they ... this paper, we present ArcAngel, a language for defining such refinement tactics; we present...
  • ToXgene

  • Referenced in 8 articles [sw12723]
  • Template Specification Language (TSL) is a subset of the XML Schema notation augmented with annotations...
  • FPath

  • Referenced in 4 articles [sw21581]
  • domain-specific language that provides a concise yet powerful notation to navigate inside and query...
  • FScript

  • Referenced in 4 articles [sw21582]
  • domain-specific language that provides a concise yet powerful notation to navigate inside and query...
  • Z2sal

  • Referenced in 6 articles [sw07087]
  • support for the Z Notation, a widely-used formal specification language. Z has been very...
  • Brian

  • Referenced in 20 articles [sw23588]
  • writing arbitrary differential equations in ordinary mathematical notation. Python scientific libraries can also be used ... simulations despite the overheads of an interpreted language. Brian will be especially valuable for working...
  • LNT2LOTOS

  • Referenced in 5 articles [sw20418]
  • LOTOS Translator. This report defines the LNT language, which is a simplified variant ... friendly and regular notations borrowed from imperative and functional programming languages. In particular, unlike LOTOS...
  • EMOSL

  • Referenced in 3 articles [sw13460]
  • manipulated using the notation of the model language, which is of course close...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • fact that Z is a specification language only, with no associated program development method ... Morgan’s work that incorporates the Z notation and follows its style and conventions. This ... using ZRC. We present ZRC-L, the language of our calculus, and its conversion laws...
  • GME

  • Referenced in 5 articles [sw33604]
  • environment. The metamodeling language is based on the UML class diagram notation and OCL constraints ... external components can be written in any language that supports COM (C++, Visual Basic...
  • OOZE

  • Referenced in 3 articles [sw09494]
  • wide spectrum object oriented language that builds on the notation and style of Z. OOZE ... distinguished from one another, and the entire language has a precise and relatively simple semantics...