8828 search results - page 55 / 1766 » Formal methods in practice |
TOMS
2008
14 years 9 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
AFP
1995
Springer
15 years 1 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
ICFCA
2004
Springer
15 years 3 months ago
2004
Springer
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...