• Tom

  • Referenced in 26 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 145 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...
  • MATLANG

  • Referenced in 5 articles [sw39112]
  • query languages are commonly used to explore graph properties. In this paper, we bridge these...
  • OpenNWA

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

  • Referenced in 2 articles [sw40108]
  • retrieval tasks, it requires bridging the gap between the language used in code (often abbreviated...
  • qdap

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

  • Referenced in 1 article [sw37075]
  • coupling language (HCL), a meta language in which complex bridge topologies can be described ... meta language is meant for stimulating the discussion on even more complex hierarchies in which ... bridge operators are introduced as patterns. We present example applications for several of these cases...
  • RSRuby

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

  • Referenced in 9 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...
  • NaturalCC

  • Referenced in 1 article [sw36364]
  • extensible toolkit to bridge the gap between natural language and programming language, and facilitate...
  • 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...
  • PyTorch-Kaldi

  • Referenced in 4 articles [sw38119]
  • build neural networks with the Python language and has recently spawn tremendous interest within ... flexibility. The PyTorch-Kaldi project aims to bridge the gap between these popular toolkits, trying...