Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Essentials of programming languages
Essentials of programming languages
Compiling with continuations
On the expressive power of programming languages
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
FUDGETS: a graphical user interface in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Reasoning about programs in continuation-passing style
Lisp and Symbolic Computation - Special issue on continuations—part I
The formal relationship between direct and continuation-passing style optimizing compilers: a synthesis of two paradigms
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Java Swing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Science of Computer Programming - Special issue on mathematics of program construction
The influence of browsers on evaluators or, continuations to program web servers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
The Definition of Standard ML
The Java Language Specification
The Java Language Specification
Safe-for-Space Threads in Standard ML
Higher-Order and Symbolic Computation
Transparent Migration of Java-Based Mobile Agents
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Bytecode Transformation for Portable Thread Migration in Java
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Proceedings of ACM conference on Proving assertions about programs
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Dreme: for life in the net
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
From representations to computations: the evolution of web architectures
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Better abstractions for secure server-side scripting
Proceedings of the 17th international conference on World Wide Web
Server-side web programming in WASH
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Hi-index | 0.00 |
Web and GUI programs represent two extremely common and popular modes of human-computer interaction. Many GUI programs share the Web's notion of browsing through data- and decision-trees. This paper compares the user's browsing power in the two cases and illustrates that many GUI programs fall short of the Web's power to clone windows and bookmark applications. It identifies a key implementation problem that GUI programs must overcome to provide this power. It then describes a theoretically well-founded programming pattern, which we have automated, that endows GUI programs with these capabilities. The paper provides concrete examples of the transformation in action.