• SHRAD

  • Referenced in 6 articles [sw02663]
  • Pisa-Genova-Udine (1993)] introduced his semantics for exact real number computation, there has always ... sequential fragment of Real-PCF. The previous argument suggests some sort of compromise...
  • DEMONIC

  • Referenced in 1 article [sw41310]
  • single-particle equilibrium thermodynamics, and its formal semantics. Maxwell’s Demon, ’a being whose faculties ... Erasure, has been a matter of ongoing argument. The recent Norton-Ladyman controversy ... thermodynamic processes, and give a formal operational semantics and program logic as a basis...
  • KIEL

  • Referenced in 2 articles [sw29844]
  • very prominent way to define the operational semantics of functional programs (which is especially qualified ... formal paramters are substituted by the arguments. For instance, in the classical case of routines...
  • HECTOR

  • Referenced in 2 articles [sw13320]
  • that may contain free variables whose arguments are also of short-type. This ... tool relies on the fully abstract game semantics of RML to construct...
  • DeepBugs

  • Referenced in 1 article [sw40138]
  • which reasons about names based on a semantic representation and which automatically learns bug detectors ... framework detect accidentally swapped function arguments, incorrect binary operators, and incorrect operands in binary operations...
  • Coq

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

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • Maple

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

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

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • NLTK

  • Referenced in 40 articles [sw00626]
  • This book offers an introduction to Natural Language...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • R

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

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...