4438 search results - page 323 / 888 » The Case for Collaborative Programming |
196
click to vote
ENTCS
2008
15 years 6 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
160
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...
180
click to vote
AAAI
2004
15 years 8 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
167
click to vote
FLOPS
2004
Springer
16 years 4 days ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
156
Voted
SIGCSE
1996
ACM
15 years 11 months ago
1996
ACM
We identify the principles involved in designing effective programming assignments for CS1/CS2. Through a case study of a particularly successful recursion assignment, we establis...