Results 1 to 20 of 47
Sort by:

  • 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...