• Java+ITP

  • Referenced in 8 articles [sw32259]
  • based on an algebraic continuation passing style (CPS) semantics of this fragment as an equational...
  • Wool

  • Referenced in 1 article [sw14936]
  • forcing the programmer to write in continuation passing style) in ordinary C while still having...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

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

  • Referenced in 421 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • LogiMOO

  • Referenced in 8 articles [sw01573]
  • LogiMOO: An extensible multi-user virtual world with...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • DACTL

  • Referenced in 28 articles [sw02871]
  • A generalized computational model based on graph rewriting...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • BLAS

  • Referenced in 501 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

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