2501 search results - page 27 / 501 » Obligations and Their Interaction with Programs |
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Young people interact with games, animations, and simulations all of the time. But few of them are able to create interactive media. The obstacle: traditional programming language...
100
click to vote
CSL
2000
Springer
15 years 2 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
110
click to vote
ACMIDC
2008
14 years 11 months ago
2008
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
52
Voted
LISA
1996
14 years 11 months ago
1996
: Expect is a tool for automating interactive programs. Expect is controlled by writing Tcl scripts, traditionally a manual process. This paper describes Autoexpect
COMPCON
1995
IEEE
15 years 1 months ago
1995
IEEE
Interactive television is a technology for delivering television programming on demand to households and businesses. Rather than passively choosing from a predetermined set of pro...