1173 search results - page 68 / 235 » Program Derivation Using Analogy |
121
click to vote
SCOPES
2004
Springer
15 years 8 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
114
Voted
OOPSLA
1991
Springer
15 years 6 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
121
Voted
JISE
2006
15 years 2 months ago
2006
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
136
Voted
IIE
2007
15 years 2 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
108
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...