• ML

  • Referenced in 517 articles [sw01218]
  • program does not cause runtime type errors.[1] ML provides pattern matching for function arguments ... specified and verified using formal semantics. Its types and pattern matching make it well-suited...
  • PASCAL VOC

  • Referenced in 124 articles [sw36507]
  • Vision, 2012) to identify the types of occurring errors. We conclude the paper with...
  • Creol

  • Referenced in 25 articles [sw09421]
  • system. It is shown that runtime type errors do not occur for well-typed programs...
  • Dafny

  • Referenced in 66 articles [sw00183]
  • with the static type checker—when the tool produces errors, the programmer responds by changing...
  • CDuce

  • Referenced in 49 articles [sw12434]
  • intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation...
  • Epigram

  • Referenced in 22 articles [sw09687]
  • programming with dependent types. Find the type error in the following Haskell expression: if null ... False. However, as far as the type system is concerned, the type of the then...
  • CARMA

  • Referenced in 9 articles [sw07235]
  • also be extended to other equation error type systems, output error type systems and nonlinear...
  • CADNA

  • Referenced in 45 articles [sw00098]
  • library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA ... CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications...
  • MultRoot

  • Referenced in 99 articles [sw00604]
  • with non-trivial multiplicities. As a blackbox-type software, MultRoot requires the polynomial coefficients ... outputs the computed roots, multiplicities, backward error, estimated forward error, and the structure-preserving condition...
  • GF

  • Referenced in 32 articles [sw13667]
  • objects have a type system, which helps to eliminate run-time errors in language processing...
  • Neurofitter

  • Referenced in 13 articles [sw09289]
  • parameters and the data. This error function or fitness function makes the ranking of different ... this review we distinguish three types of error functions: feature-based ones, point-by-point...
  • Dylan

  • Referenced in 13 articles [sw26095]
  • systems programming. Dylan includes garbage collection, type-safety, error recovery, a module system, and programmer...
  • fdatest

  • Referenced in 13 articles [sw19272]
  • here proposed. We define a new type of error control, the interval-wise control...
  • ABS

  • Referenced in 29 articles [sw21211]
  • design issues for ABS and formalize the type system and semantics of Core ... method not understood” errors do not occur at runtime for well-typed ABS models. Finally...
  • d2_cluster

  • Referenced in 5 articles [sw28788]
  • other words, of type I and type II errors) of a sequence clustering algorithm, although ... taken in the interpretation of the type II error. Upper bounds for these d2_cluster...
  • Skalpel

  • Referenced in 2 articles [sw16984]
  • Skalpel: a type error slicer for standard ML. Compilers for languages with type inference algorithms ... produce confusing type error messages and give a single error location which is often ... from the real location of the type error. Attempts at solving this problem 1) fail ... program points which make up the type error, 2) often report tree fragments which...
  • Zinc

  • Referenced in 26 articles [sw08334]
  • provides sophisticated type and instantiation checking which allows early detection of errors in models. Finally...
  • Quake

  • Referenced in 5 articles [sw12012]
  • nucleotide error rates to determine what types of errors are most likely. This leads...
  • STL

  • Referenced in 79 articles [sw11800]
  • free programs. Furthermore, many new kinds of errors may arise from the inaccurate ... order to customize the memory management. Allocator types are accountable for allocation and deallocation...
  • SuLQ

  • Referenced in 123 articles [sw11355]
  • noise -- much less than the sampling error -- provided the total number of queries is sublinear ... real-valued functions f and arbitrary row types, as a consequence greatly improving the bounds...