5377 search results - page 320 / 1076 » Programming Languages For Interactive Computing |
229
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
173
click to vote
ITICSE
2000
ACM
2000
ACM
Integrating interactive computer-based learning experiences into established curricula: a case study
15 years 11 months ago
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
169
click to vote
FC
2005
Springer
16 years 5 days ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
191
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
148
click to vote
ITICSE
2010
ACM
15 years 10 months ago
2010
ACM
Previous reports of a media computation approach to teaching programming have either focused on pre-CS1 courses or courses for non-majors. We report the adoption of a media comput...