Lambda lifting: transforming programs to recursive equations
Proc. of a conference on Functional programming languages and computer architecture
Programming perl
Essentials of programming languages
Essentials of programming languages
Reasoning about programs in continuation-passing style
Lisp and Symbolic Computation - Special issue on continuations—part I
Mawl: A Domain-Specific Language for Form-Based Services
IEEE Transactions on Software Engineering
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
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
The Java Language Specification
The Java Language Specification
Polytypic Compact Printing and Parsing
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Programming the Web with High-Level Programming Languages
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
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
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
DrScheme: a programming environment for Scheme
Journal of Functional Programming
Principles of Program Design
Proceedings of the 24th International Conference on Software Engineering
XML Applications Development in Scheme
Programming and Computing Software
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Staging transformations for multimodal web interaction management
Proceedings of the 13th international conference on World Wide Web
Verifying Interactive Web Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Higher-Order and Symbolic Computation
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Theoretical Computer Science - Applied semantics: Selected topics
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Better abstractions for secure server-side scripting
Proceedings of the 17th international conference on World Wide Web
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
Program transformations for information personalization
Computer Languages, Systems and Structures
ESOP'03 Proceedings of the 12th European conference on Programming
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Computational REST meets Erlang
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
iData for the world wide web – programming interconnected web forms
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
A generative programming approach to interactive information retrieval: insights and experiences
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Server-side web programming in WASH
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Constructing customized interpreters from reusable evaluators using GAME
SC'12 Proceedings of the 11th international conference on Software Composition
| Hi-index | 0.00 |
The construction of interactive server-side Web applicationsdiffers substantially from the construction of traditionalinteractive programs. In contrast, existing Web programmingparadigms force programmers to save and restorecontrol state between user interactions. We present anautomated transformation that converts traditional interactiveprograms into standard CGI programs. This enablesreuse of existing software development methodologies. Furthermore,an adaptation of existing programming environmentssupports the development of Web programs.