6274 search results - page 605 / 1255 » Proofs, Programs, Processes |
153
click to vote
UIST
2003
ACM
16 years 15 days ago
2003
ACM
Dialog boxes that collect parameters for commands often create ephemeral, unnatural interruptions of a program’s normal execution flow, encouraging the user to complete the dial...
175
click to vote
CC
2003
Springer
16 years 15 days ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
216
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
205
Voted
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
204
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...