• OpenGL

  • Referenced in 136 articles [sw06740]
  • OpenGL (Open Graphics Library) is a cross-language, multi-platform application programming interface...
  • nws

  • Referenced in 4 articles [sw08256]
  • execution facilities, as well as limited cross-language data exchange, using the netWorkSpaces server developed...
  • JNIL

  • Referenced in 2 articles [sw22673]
  • abstractions for handling a shared heap, cross-language method calls, cross-language exception handling...
  • PMD

  • Referenced in 2 articles [sw39302]
  • extensible cross-language static code analyzer. PMD is a source code analyzer. It finds common...
  • ParaDRAM

  • Referenced in 2 articles [sw35226]
  • ParaDRAM: A cross-language toolbox for parallel high-performance delayed-rejection adaptive metropolis markov chain...
  • Apache Thrift

  • Referenced in 1 article [sw24016]
  • Apache Thrift software framework, for scalable cross-language services development, combines a software stack with...
  • TexMo

  • Referenced in 1 article [sw06913]
  • present TexMo, a prototype of a multi-language development environment, which uses an explicit relation ... static checking, navigation, and refactoring of cross-language relations. We evaluate TexMo by applying...
  • LAReQA

  • Referenced in 1 article [sw32538]
  • language-agnostic answer retrieval from a multilingual candidate pool. Unlike previous cross-lingual tasks, LAReQA ... cross-lingual alignment, requiring semantically related cross-language pairs to be closer in representation space...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • DiVinE

  • Referenced in 56 articles [sw04130]
  • DIVINE is a tool for LTL model checking...
  • PLCP

  • Referenced in 228 articles [sw04795]
  • The software contains some functions and drivers for...
  • DSPCA

  • Referenced in 35 articles [sw04804]
  • We examine the problem of approximating, in the...
  • z3

  • Referenced in 590 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LLVM

  • Referenced in 87 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • KLEE

  • Referenced in 44 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • SQPlab

  • Referenced in 175 articles [sw05161]
  • The SQPlab (pronounce S-Q-P-lab) software...
  • Scala

  • Referenced in 90 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • VCC

  • Referenced in 71 articles [sw07220]
  • VCC is a mechanical verifier for concurrent C...