5090 search results - page 572 / 1018 » Constructing Strategies for Programming |
193
click to vote
ASSETS
2006
ACM
16 years 26 days ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
217
click to vote
PLDI
2006
ACM
16 years 26 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
209
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
184
click to vote
SIGCSE
2004
ACM
16 years 9 days ago
2004
ACM
Introductory computer science students rely on a trial and error approach to fixing errors and debugging for too long. Moving to a reflection in action strategy can help students ...
195
click to vote
IFL
2004
Springer
16 years 8 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...