P. T. Graunke, S. Krishnamurthi, V. der Hoeven, and M. Felleisen. Programming the web with high-level programming languages. In European Symposium on Programming (ESOP 2001.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....a real semantic integration. The impedance mismatch between the di#erent type systems then leads to strange anomalies or unnatural mappings. Another popular route to integrate XML and SQL is by means of domain specific embedded languages [23] using functional language such as Scheme or Haskell [32, 33, 30, 31, 27, 25, 18, 40, 42, 11] as the host. In our experience however, the embedded DSL approach does not scale very well, and it is particularly di#cult to encode the domain specific type systems [38] and syntax into the host language. In his invited talk at OOPSLA98 [20] Guy Steele remarked that . from now on, a main ....

P. Graunke, S. Krishnamurthi, S. V. D. Hoeven, and M. Felleisen. Programming the Web with High-Level Programming Languages. In Automated Software Engineering, LNCS 2028.

....input elds in HTML forms, we are able to make do with a purely functional approach. Our approach only relies on the concept of a monad, which is fundamental for a real world functional programmer. Further approaches to Web programming using functional languages are using the Scheme language [10, 30]. The main idea is to use a continuation to take a snapshot of the state of the script after sending the form to the browser. This continuation is then stored on the server and the form contains a key for later retrieval of the continuation. Conceptually, this is similar to the log that we are ....

P. Graunke, S. Krishnamurthi, S. V. D. Hoeven, and M. Felleisen. Programming the Web with high-level programming languages. In D. Sands, editor, Proceedings of the 2001.

....at run time) and exibility (not strict type checking) The di erence between the two does not limit LAML Scheme s ability to achieve the above mentioned advantages, namely the session concept and the template idea. 5. 3 MrED A number of people from the Rice University, has written the paper [GKHF] where they state that a Web server behaves like a simple operating system (OS) kernel. This is so, since a Web server invokes programs (that generate Web pages) protect programs from each other and manage resource consumption. The problem is, that many Web servers does this by relying on an ....

....are: rst class modules, which help structure the server and represent server programs; preemptive threads, which are needed to execute server programs; custodians, which manage the resource consumption of server programs; and parameters, which control stateful attributes of threads. GKHF] The core of the Web server is a loop, that waits for a request on a speci c TCP port (available through MrEd) For each request a thread is created, and it is the job of the thread to extract information related to the speci c request (e.g. the URL) and send the information to a dispatcher. The ....

Paul Graunke, Shriram Krishnamurthi, Steve Von Der Hoeven, and Matthias Felleisen. Programming the Web with High-Level Programming Languages.

....input elds in HTML forms, we are able to make do with a purely functional approach. Our approach only relies on the concept of a monad, which is fundamental for a real world functional programmer. Further approaches to Web programming using functional languages are using the Scheme language [8, 9]. The main idea is to use a continuation to take a snapshot of the state of the script after sending the form to the browser. This continuation is then stored on the server and the form contains a key for later retrieval of the continuation. Conceptually, this is similar to the log that we are ....

Graunke, P., Krishnamurthi, S., Hoeven, S.V.D., Felleisen, M.: Programming the Web with high-level programming languages. In Sands, D., ed.: Proc. 10th European Symposium on Programming. Lecture Notes in Computer Science, Genova, Italy, Springer-Verlag (2001) 122-136

No context found.

Graunke, P., S. Krishnamurthi, S. van der Hoeven, and M. Felleisen: 2001, `Programming the Web with High-Level Programming Languages'. In: European Symposium on Programming.

No context found.

Graunke, P., S. Krishnamurthi, S. van der Hoeven and M. Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, pages 122-136, 2001.

No context found.

Graunke, P. Programming the Web with high-level programming languages. Master's thesis, Rice University, April 2001. 116

....the communication among scripts is now internalized within one program and can thus be subjected to the safety mechanisms of the language. Our prior work explored the implications of Queinnec s in two ways. First, we built a Web server that enables Web programs to interact directly with consumers [13]. Programming in this world eliminates many of the Web design problems in a natural manner. Second, after we realized that this solution doesn t apply to languages without such mechanisms, we explored the automatic generation of robust Web programs via functional compilation techniques [12] While ....

Graunke, P., S. Krishnamurthi, S. van der Hoeven and M. Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, pages 122--136, 2001.

....a GUI by creating a bookmark and resume the computation whenever it is more appropriate or convenient. 2. 2 Implementation Challenges To understand the challenges a GUI implementor will face to provide these additional features, it is useful to study the problems Web programmers must confront [18]. Web traversal patterns make strenuous demands on software developers, such as: The use of the Back button, which corresponds to backtracking, is a client side event that does not notify the server (because the previous page is usually in the cache) This means the application s view of the ....

....Programmers could use their techniques to implement GUIs supporting parallel exploration, but they do not suggest doing so, nor does it extend to bookmarking. Our work on GUIs developed out of studying Web programming. In particular, Hughes [20] and Queinnec [25] inspired our earlier work [17, 18] on interactive Web applications. These investigations exposed the additional flexibility provided by Web browsers and automated the construction of robust Web applications with matching flexibility. The bookmarking portion of our work relies on Java serialization for object persistence. An ....

Graunke, P., S. Krishnamurthi, S. van der Hoeven and M. Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, 2001.

....for the URL resume the continuation with the data from the Web form. In particular, because a Scheme continuation can be invoked an arbitrary number of times, the consumer can respond to the same Web form a multiple number of times and thus resume a continuation as often as desired. Prior work [19, 28] implements this approach and demonstrates its advantages. In addition to facilitating program construction, the modified Web server yields superior speed for CGI scripts compared to several existing methods. Unfortunately, the approach has two severe problems in theory. First, it requires a ....

P. Graunke, S. Krishnamurthi, S. van der Hoeven, and M. Felleisen. Programming the web with high-level programming languages. In European Symposium on Programming, 2001.

....figure, the instances of the variable lst in the procedure body are inferred to be strings. Hence, the occurrence of cdr is highlighted as unsafe. MrSpidey is useful for realistic programs. Recently the authors, in collaboration with Paul Graunke, designed and implemented an extensible Web server (Graunke et al. 2001). We developed the server in DrScheme and used MrSpidey to verify its basic correctness properties. Currently, the server consists of about one thousand lines of code. Using MrSpidey, the authors uncovered several small bugs in the DrScheme: A Programming Environment for Scheme 19 implementation ....

Graunke, Paul, Krishnamurthi, Shriram, Hoeven, Steve Van Der, & Felleisen, Matthias. 2001 (April). Programming the web with high-level programming languages. European symposium on programming.

No context found.

P. T. Graunke, S. Krishnamurthi, V. der Hoeven, and M. Felleisen. Programming the web with high-level programming languages. In European Symposium on Programming (ESOP 2001.

No context found.

P. T. Graunke, S. Krishnamurthi, V. der Hoeven and M. Felleisen. Programming the web with high-level programming languages. In European Symposium on Programming (ESOP 2001.

No context found.

P. Graunke, S. Krishnamurthi, S. Hoeven, and M. Felleisen. Programming the web with high-level programming languages. In Eur. Symp. Prog. Lang., pages 122--136, 2001.

No context found.

P. Graunke, S. Krishnamurthi, S. V. D. Hoeven, and M. Felleisen. Programming the web with high-level programming languages. In Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001.

No context found.

P. T. Graunke, S. Krishnamurthi, S. van der Hoeven, and M. Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, pages 122--136, Apr. 2001.

No context found.

Paul Graunke, Shriram Krishnamurti, Steve Van Der Hoeven, and Matthias Felleisen. Programming the web with high-level programming languages. In European Symposium On Programming (ESOP'01), April 2001.

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