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

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 welltyped 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 roundoff error propagation using a probabilistic approach. With CADNA ... CADNA provides new numerical types on which roundoff errors can be estimated. Slight modifications...

MultRoot
 Referenced in 99 articles
[sw00604]
 with nontrivial multiplicities. As a blackboxtype software, MultRoot requires the polynomial coefficients ... outputs the computed roots, multiplicities, backward error, estimated forward error, and the structurepreserving condition...

GF
 Referenced in 32 articles
[sw13667]
 objects have a type system, which helps to eliminate runtime 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: featurebased ones, pointbypoint...

Dylan
 Referenced in 13 articles
[sw26095]
 systems programming. Dylan includes garbage collection, typesafety, error recovery, a module system, and programmer...

fdatest
 Referenced in 13 articles
[sw19272]
 here proposed. We define a new type of error control, the intervalwise 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 welltyped 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 ... realvalued functions f and arbitrary row types, as a consequence greatly improving the bounds...