Paul Thorsen Graunke  Home/Search
Context
Related
| neu.edu/scheme/pub...esisgraunke.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: neu.edu/scheme/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This dissertation focuses on programming language support for interactive dialogues that exibit the same flexability as Web dialogues. A foundational model of Web interactions provides a framework for formally describing two classes of errors. The model suggests techniques for detecting both classes of errors. An incrementally checked record type system effectively eliminates one class of error. A dynamic safety check catches the other class of error relative to programmers' simple annotations. (Update)
Similar documents (at the sentence level): More
11.2%: Advanced Control Flows for Flexible Graphical User.. - Graunke, Krishnamurthi (2002) (Correct)
9.7%: Automatically Restructuring Programs for the Web - Graunke, Krishnamurthi, R.. (2001) (Correct)
7.5%: Programming the Web with High-Level Programming Languages - Graunke, Krishnamurti.. (2001) (Correct)
Active bibliography (related documents): More All
1.0: An Embedded Domain-Specific Language for Type-Safe Server-Side.. - Thiemann (2003) (Correct)
0.9: Linguistic Reuse - Krishnamurthi (2001) (Correct)
0.5: Programmable Type Systems for Domain Specific Languages - Thiemann (2002) (Correct)
Similar documents based on text: More All
0.1: Demand-based Coscheduling of Parallel Jobs on Multiprogrammed.. - Sobalvarro (1997) (Correct)
0.1: Automatic Acquisition of Language Models for Speech recognition - McCandless (1994) (Correct)
0.1: Building an Active Node on the Internet - Murphy (1997) (Correct)
BibTeX entry: (Update)
@misc{ graunke-web,
author = "Paul Thorsen Graunke",
title = "Web Interactions",
url = "citeseer.ist.psu.edu/graunke03web.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
862 The Java Language Specification - Gosling, Joy et al. - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
521 Compiling with Continuations (context) - Appel - 1992
492 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
484 Common Lisp: The Language (context) - Jr - 1990
410 Mobile ambients - Cardelli, Gordon - 1998
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
283 Theoretical Computer Science (context) - Plotkin - 1975
270 Web server workload characterization: the search for invaria.. - Arlitt, Williamson - 1996
254 Elements of Reusable Object-Oriented Software (context) - Gamma, Helm et al. - 1994
254 Revised report on the algorithmic language Scheme - Clinger, Rees - 1991
253 Programming Perl (context) - Wall, Schwartz - 1992
224 Resource containers: A new facility for resource management .. - Banga, Druschel et al. - 1999
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992
124 The case for persistent-connection HTTP (context) - Mogul - 1995
116 Rabbit: A compiler for Scheme (context) - Guy - 1978
115 Revised report on the algorithmic language Scheme - Kelsey, Clinger et al. - 1998
107 Complete type inference for simple objects (context) - Wand - 1987
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
103 The denition of Standard ML (context) - Milner, Tofte et al. - 1997
90 Type systems - Cardelli - 1996
88 Typechecking records and variants in a natural extension of .. (context) - emy - 1989
84 Lambda lifting: transforming programs to recursive equations - Johnsson - 1985
82 Scalable content-aware request distribution in cluster-based.. - Aron, Sanders et al. - 2000
75 Measuring the capacity of a Web server - Banga, Druschel - 1997
71 Lambda-calculus schemata - Fischer - 1972
64 Types and Programming Languages (context) - Pierce - 2002
61 Continuations: A mathematical semantics for handling full ju.. (context) - Strachey, Wadsworth - 1974
61 Principles of Program Design (context) - Jackson - 1975
57 Continuation-based multiprocessing - Wand - 1980
55 Representing control: a study of the CPS transformation - Danvy, Filinski - 1992
51 the expressive power of programming languages - Felleisen - 1991
50 Implementing atomic actions on decentralized data (context) - Reed - 1983
45 Macros that work (context) - Clinger, Rees - 1991
44 Teapot: Language support for writing memory coherence protoc.. (context) - Chandra, Richards et al. - 1996
41 Catching bugs in the web of program invariants - Flanagan, Flatt et al. - 1996
30 RFC 2616: Hypertext transfer protocol { HTTP (context) - Fielding, Gettys et al. - 1999
29 Science of Computer Programming (context) - Hughes - 2000
28 continuations to program Web servers (context) - Queinnec - 2000
27 Eciently computing static single assignment form and the con.. (context) - Cytron, Ferrante et al. - 1991
26 A type system for dynamic Web documents - Sandholm, Schwartzbach - 2000
24 Functional reactive animation - Elliot, Hudak - 1997
23 Reliable network connections (context) - Zandy, Miller - 2002
21 Bytecode transformation for portable thread migration in Jav.. - Sakamoto, Sekiguchi et al. - 2000
20 WASHCGI Server side Web scripting with session and typed - CGI, Web et al. - 2002
20 DrScheme: A programming environment for Scheme - Findler, Clements et al. - 2001
19 A runtime system for interactive Web services - Brabrand, ller et al. - 1999
19 Cooperative task management without manual stack management - Adya, Howell et al. - 2002
18 Polytypic compact printing and parsing - Jansson, Jeuring - 1999
18 Extensible markup language XML - Bray, Paoli et al. - 1998
17 Programming the Web with high-level programming languages - Graunke, Krishnamurthi et al. - 2001
17 Programming the Web with high-level programming languages - Graunke - 2001
15 RFC 821: Simple mail transfer protocol (context) - Postel - 1982
15 Design considerations for the Apache server API (context) - Thau - 1996
15 De nitional interpreters for higher-order programming langua.. (context) - Reynolds - 1972
14 Special forms in Lisp (context) - Pitman - 1980
13 Automatically restructuring programs for the Web - Graunke, Findler et al. - 2001
13 Programming languages as operating systems (context) - Flatt, Findler et al. - 1999
13 Continuations may be unreasonable (context) - Meyer, Riecke - 1988
12 Java Swing (context) - Eckstein, Loy et al. - 1998
10 Comparing control constructs by typing double-barrelled CPS .. - Thielecke - 2001
10 Secure socket layer (context) - Freier, Karlton et al. - 1996
9 Javaserver pages speci cation (context) - Roth, Pelegr - 2002
9 Constraining control (context) - Haynes, Friedman - 1985
9 The Formal Relationship between Direct and Continuation-pass.. - Sabry - 1994
9 Modeling an algebraic stepper - Clements, Flatt et al. - 2001
8 RFC 822: Standard for the format of ARPA internet text messa.. (context) - Crocker - 1982
8 Modeling Web interactions - Graunke, Findler et al. - 2003
8 present and future of user interface software tools (context) - Myers, Hudson et al. - 2001
7 Mawl: A domain-speci c language for form-based services (context) - Atkins, Ball et al. - 1999
7 Safe-for-space threads in Standard ML - Biagioni, Cline et al. - 1998
6 Corporation for National Research Initiatives (context) - van Rossum - 1996
5 Cool modules for HOT languages (context) - Flatt, Felleisen - 1998
5 RFC 2109: HTTP state management mechanism (context) - Kristol, Montulli - 1997
5 Dreme: for Life in the Net - Fuchs - 1996
5 Transparent migration of Java-based mobile agents: Capturing.. (context) - unfrocken - 1998
5 Our SPIN on persistent Java: The JavaSPIN approach (context) - Wileden, Kaplan et al. - 1996
3 SISC: A complete Scheme interpreter in Java - Miller - 2003
3 An implementation of scheduler activations on the NetBSD ope.. - Williams - 2002
3 Design and evaluation of an extensible Web and telephony ser.. (context) - Spoonhower, Czajkowski et al. - 1998
2 Advanced control ows for exible graphical user interfaces or (context) - Graunke, Krishnamurthi - 2002
2 Java servlet speci cation version (context) - Coward - 2000
2 Type classes with more higher-order polymorphism - Neubauer, Thiemann - 2002
2 Transformation-by-example for XML (context) - Krishnamurthi, Gray et al. - 2000
2 The native POSIX thread library for Linux (context) - Drepper, Molnar - 2003
2 a graphical user interface in a lazy functional language (context) - Carlsson, Hallgren - 1993
1 Ecmascript language speci cation (context) - Eich - 1999
1 Scalable real-time weather server written in Scheme (context) - Latendresse - 2002
1 Selectors make analysis of caselambda too hard (context) - Meunier, Findler et al. - 2001
1 Zmievski and J (context) - Bakken, Aulbach et al. - 2002
1 how I administered PADL (context) - Krishnamurthi - 2002
1 An empirical study af technologies to implement servers in J.. (context) - Demsky - 2001
1 RFC 2246: The transport layer security protocol (context) - Dierks, Allen - 1999
1 IO-lite: A uni ed I/O bu ering and caching system (context) - Pai, Druschel et al. - 1999
1 Objective Caml library for writing CGIs (context) - Filliatre - 1998
http://www.nist.gov/hmac
http://www.acme.com/software/thttpd/benchmarks.html
http://www.apache.org/
ftp://ftp.java.sun.com/docs/j2se1.3/serial-spec.pdf
http://www.microsoft.com/net/
http://www.fastcgi.com/
http://www.ibm.com/websphere
http://www.paulgraham.com/articles.html
http://beta4.com/seaside2/tutorial.html/
http://hoohoo.ncsa.uiuc.edu/cgi/
http://www.paulgraham.com/avg.html
http://www.htdp.org/
http://www.sun.com/forte/
http://www.nist.gov/aes
http://java.sun.com/products/jpda/
http://www.teach-scheme.org/
http://www.completeplanet.com/Tutorials/DeepWeb/
http://www.borland.com/jbuilder/
http://www.htus.org/
Documents on the same site (http://www.ccs.neu.edu/scheme/pubs/): More
Observable Sequentiality and Full Abstraction - Cartwright, Felleisen (1992) (Correct)
Universal Domains For Sequential Computation - Kanneganti (1995) (Correct)
Typing First-Class Continuations in ML - Harper, Duba, MacQueen (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC