669 search results - page 41 / 134 » Development and evaluation of a model of programming errors |
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
AIED
2007
Springer
15 years 3 months ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
107
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 1 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
ICALT
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we propose a framework for the design of learning activities, which follows the key idea of the “Learning-for-Use” model and adopts characteristics from the exp...
BIBE
2000
IEEE
15 years 1 months ago
2000
IEEE
We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution con...