4719 search results - page 444 / 944 » Spreadsheet functional programming |
170
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
142
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
172
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
166
click to vote
ICALT
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
146
click to vote
APSEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...