• Tom

  • Referenced in 23 articles [sw09814]
  • Rewriting on Java. We present the Tom language that extends Java with the purpose ... community. Tom furnishes a bridge between a general purpose language and higher level specifications that...
  • Isar

  • Referenced in 138 articles [sw04599]
  • readable formal proof documents sets out to bridge the semantic gap between internal notions ... user-level work. The Isar formal proof language has been designed to satisfy quite contradictory...
  • CArtAgO

  • Referenced in 14 articles [sw11700]
  • effective when integrated with Agent Programming Languages based on a strong notion of agency – intelligent ... directly includes a bridge for the Jason agent programming language...
  • Riposte

  • Referenced in 3 articles [sw20328]
  • runtime for the R language, which bridges this gap. Riposte uses tracing, a technique commonly...
  • OpenNWA

  • Referenced in 3 articles [sw33220]
  • word automata (NWAs) are a language formalism that helps bridge the gap between finite-state...
  • RSRuby

  • Referenced in 1 article [sw25527]
  • Ruby and the R Interpreted Language. RSRuby is a bridge library for Ruby giving Ruby...
  • Rebeca

  • Referenced in 8 articles [sw09422]
  • Rebeca is an actor-based language with a formal foundation for modeling concurrent and distributed ... which is designed in an effort to bridge the gap between formal verification approaches...
  • PREGO

  • Referenced in 5 articles [sw16793]
  • representational richness of conventional logic-based action languages, such as contextsensitive successor state axioms ... exploring real-time reactivity and an interesting bridge between logic and probability for cognitive robotics...
  • qdap

  • Referenced in 2 articles [sw33365]
  • package qdap: Bridging the Gap Between Qualitative Data and Quantitative Analysis. Automates many ... other areas of Text Mining/ Natural Language Processing...
  • RZ

  • Referenced in 6 articles [sw08944]
  • tool, called RZ, serves as a bridge between constructive mathematics and programming by translating specifications ... Caml. The system supports a rich input language allowing descriptions of complex mathematical structures...
  • Pyrex

  • Referenced in 2 articles [sw25315]
  • language specially designed for writing Python extension modules. It’s designed to bridge...
  • rscala

  • Referenced in 3 articles [sw26312]
  • rscala software is a simple, two-way bridge between R and Scala that allows users ... leverage the unique strengths of both languages in a single project. Scala classes...
  • Modeler

  • Referenced in 1 article [sw21245]
  • constraint-programming libraries without defining a specific language or preprocessor. In particular, it presents ... bridge much of the gap between libraries and modeling languages...
  • math-bridge

  • Referenced in 0 articles [sw06375]
  • nine universities from seven countries. Math-Bridge allows teachers and students to interact with thousands ... learning objects available in seven languages. Users of Math-Bridge can select one of many...
  • numecolR

  • Referenced in 2 articles [sw04567]
  • Ecology with R provides a long-awaited bridge between a textbook in Numerical Ecology ... implementation of this discipline in the R language. After short theoretical overviews, the authors accompany...
  • mctau

  • Referenced in 2 articles [sw07213]
  • Bridging the Gap between Modest and UPPAAL. Modest is a high-level compositional modelling language...
  • WMPI

  • Referenced in 2 articles [sw03456]
  • tool by making use of a Java bridge component and the Java bindings for WMPI ... configuration of platforms, execution models and programming languages. The resulting system provides...
  • RGG

  • Referenced in 2 articles [sw24627]
  • consists of an XML-based GUI definition language and a Java-based GUI engine. GUIs ... with limited programming skills and helps to bridge the gap between R developers ... using an XML-based GUI definition language. Thus RGG can be easily integrated...
  • GpoSolver

  • Referenced in 2 articles [sw15713]
  • Matlab toolboxes GloptiPoly and YALMIP. Matlab language makes it very easy when it comes ... problem solving. GpoSolver aims at bridging this gap by providing a Matlab-based problem modelling...
  • gccXfront

  • Referenced in 2 articles [sw13104]
  • front end of most program comprehension tools. Languages such as C++ can be difficult ... tool can thus act as a bridge between gcc and other program comprehension tools that...