4716 search results - page 442 / 944 » Tangible functional programming |
190
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
179
click to vote
IPPS
2007
IEEE
16 years 1 months 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...
153
click to vote
LICS
2007
IEEE
16 years 1 months 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...
186
click to vote
TLCA
2007
Springer
16 years 1 months 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...
180
click to vote
ICALT
2006
IEEE
16 years 28 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...