1288 search results - page 54 / 258 » Visual Generalization in Programming by Example |
106
Voted
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
Many algorithm visualizations have been created, but little is known about which features are most important to their success. We believe that pedagogically useful visualizations ...
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Aspect-oriented programming (AOP) is gaining popularity as a new way of modularising cross-cutting concerns. The aspectbench compiler (abc) is a new workbench for AOP research whi...
147
Voted
ICMI
2003
Springer
15 years 7 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
100
Voted
CIE
2008
Springer
15 years 4 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
104
click to vote
ACSD
2009
IEEE
15 years 9 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...