2335 search results - page 261 / 467 » Functional Differentiation of Computer Programs |
113
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
98
Voted
ICALT
2006
IEEE
15 years 6 months 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...
128
Voted
ALP
1992
Springer
15 years 4 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
110
Voted
BMCBI
2007
15 years 22 days ago
2007
Background: Several mathematical and statistical methods have been proposed in the last few years to analyze microarray data. Most of those methods involve complicated formulas, a...
107
click to vote
ISEUD
2009
Springer
15 years 7 months ago
2009
Springer
All software today is written using libraries, toolkits, frameworks and other application programming interfaces (APIs). We performed a user study of the online documentation a lar...