2335 search results - page 218 / 467 » Type Checking Type Classes |
ENTCS
2008
13 years 10 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
ENTCS
2006
13 years 10 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
MCS
2006
Springer
13 years 10 months ago
2006
Springer
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...
ENTCS
2002
13 years 10 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
TSE
1998
13 years 10 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...