1173 search results - page 70 / 235 » Program Derivation Using Analogy |
132
Voted
SIGCSE
2009
ACM
15 years 9 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
120
click to vote
VLDB
1987
ACM
15 years 6 months ago
1987
ACM
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
123
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
119
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
132
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Approximate policy iteration methods based on temporal differences are popular in practice, and have been tested extensively, dating to the early nineties, but the associated conve...