Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/29547
Type: Conference paper
Title: Hyper-programming web applications
Author: Fox, J.
Detmold, H.
Falkner, K.
Citation: Proceedings of the Second Undergraduate Students' Computing Conference [electronic resource]/ Abraham, Gad, Rubinstein, Benjamin I.P, pp. 59-66
Publisher: AUSCC
Publisher Place: http://www.cs.berkeley.edu/~benr/publications/auscc04/
Issue Date: 2004
ISBN: 0975717308
Conference Name: Australian Undergraduate Students' Computing Conference (2nd : 2004 : Melbourne, Australia)
Statement of
Responsibility: 
Joshua D. Fox, Henry Detmold & Katrina Falkner
Abstract: The Web has become the dominant platform for the development of a large class of multi-user applications. In contrast to conventional approaches, current Web application development technology places little emphasis on system enforcement of static program safety properties. This departure from historical developments has the result that users of Web applications are forced to endure failure modes that would never be accepted from conventional applications. This paper describes work addressing this problem by applying a technology known as hyper-programming to the development of Web applications. This approach provides a number a program safety bene ts. For example, not only does our system prevent 404 errors for hyperlinks between parts of an application, but it also guarantees that the action attached to forms take parameters that are consistent with the form inputs, in terms of name, number and type. In this paper we describe HyperWeb, a prototype implementation of the hyper-programming concept applied to Web application development. This system provides Web applications with system enforced program safety properties. Enforcement of program safety properties begins at program composition time (coding) and is continuously maintained thereafter, thereby promoting improved Web application quality and providing an enhanced user experience.
RMID: 0020042499
Description (link): http://trove.nla.gov.au/work/9763126
Published version: http://www.cs.berkeley.edu/~benr/publications/auscc04/papers/fox-auscc04.pdf
Appears in Collections:Computer Science publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.