994 search results - page 40 / 199 » Declarative Programming of User Interfaces |
130
Voted
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
111
Voted
GRAPHICSINTERFACE
2009
15 years 10 days ago
2009
Multi-touch interfaces allow users to translate, rotate, and scale digital objects in a single interaction. However, this freedom represents a problem when users intend to perform...
150
Voted
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
116
click to vote
ACMIDC
2008
15 years 4 months ago
2008
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...
117
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
We present reform, a system that envisions roles for both programmers and end users in enhancing existing websites to support new goals. First, programmers author a traditional ma...