Automatically Restructuring Programs for the Web

Authors:
Jacob Matthews;Robert Bruce Findler;Paul Graunke;Shriram Krishnamurthi;Matthias Felleisen
Affiliations:
Computer Science Department, University of Chicago. jacobm@cs.uchicago.edu;Computer Science Department, University of Chicago. robby@cs.uchicago.edu;College of Computer and Information Science, Northeastern University (now at Fleet Numerical Meteorology and Oceanography Center (FNMOC)). ptg@acm.org;Computer Science Department, Brown University. sk@cs.brown.edu;College of Computer and Information Science, Northeastern University. matthias@ccs.neu.edu
Venue:
Automated Software Engineering
Year:
2004

Citing 20
Cited 19

Lambda lifting: transforming programs to recursive equations

Proc. of a conference on Functional programming languages and computer architecture
Compiling with continuations

Compiling with continuations
The essence of compiling with continuations

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Classes and mixins

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proper tail recursion and space efficiency

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Units: cool modules for HOT languages

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Modular object-oriented programming with units and mixins

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Revised5 report on the algorithmic language scheme

ACM SIGPLAN Notices
A runtime system for interactive Web services

WWW '99 Proceedings of the eighth international conference on World Wide Web
Mawl: A Domain-Specific Language for Form-Based Services

IEEE Transactions on Software Engineering
Programming languages as operating systems (or revenge of the son of the lisp machine)

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Generalising monads to arrows

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)
Essentials of Programming Languages

Essentials of Programming Languages
Composable and compilable macros:: you want it when?

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
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
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

Principles of Program Design

Continuations and Web Servers

Higher-Order and Symbolic Computation
Continuations from generalized stack inspection

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Ocsigen: typing web interaction with objective Caml

Proceedings of the 2006 workshop on ML
MetaOCaml server pages: web publishing as staged computation

Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Compiling cryptographic protocols for deployment on the web

Proceedings of the 16th international conference on World Wide Web
Tasks: language support for event-driven programming

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
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
Implementation and use of the PLT scheme Web server

Higher-Order and Symbolic Computation
Optimal Lambda Lifting in Quadratic Time

Implementation and Application of Functional Languages
How to CPS Transform a Monad

CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Refunctionalization at work

Science of Computer Programming
Automatically RESTful web applications: marking modular serializable continuations

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
The RPC calculus

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Web Verification: Perspective and Challenges

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards reasoning for web applications: an operational semantics for Hop

APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
The two-state solution: native and serializable continuations accord

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
WASH server pages

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Reasoning about Web Applications: An Operational Semantics for HOP

ACM Transactions on Programming Languages and Systems (TOPLAS)
Refactoring legacy AJAX applications to improve the efficiency of the data exchange component

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper explains how to automatically transform a batch program into a standard CGI program. The transformation preserves the program's behavior even if consumers use the back button or the window-cloning facilities of their Web browsers. The paper demonstrates the workings of the transformation for both Scheme and C programs and discusses how it applies to any full-fledged programming language.