6740 search results - page 946 / 1348 » Using Classification as a Programming Language |
217
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
206
click to vote
FLOPS
2008
Springer
15 years 9 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
192
click to vote
FMOODS
2008
15 years 9 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
186
click to vote
WCET
2008
15 years 9 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
208
click to vote
MBUI
2004
15 years 9 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...