1310 search results - page 128 / 262 » On a Class of Traceability Codes |
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...
SIGCSE
1997
ACM
14 years 2 months ago
1997
ACM
One of the major difficulties facing anyone trying to teach the first programming course is how to encourage students to thoroughly test their programs. We would argue that the ma...
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
ITP
2010
14 years 2 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
ECOOPWEXCEPTION
2006
Springer
14 years 2 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...