945 search results - page 76 / 189 » Incremental Branching Programs |
SIGCSE
2008
ACM
13 years 9 months ago
2008
ACM
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are ...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
ALP
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
ROMAN
2007
IEEE
14 years 3 months ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...
ECOOP
1992
Springer
14 years 1 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...