Abstract
In this paper, we present QHTML, a library for building Web-based applications in Oz. QHTML provides the Oz programmer with a basic set of abstractions through which creating Web-based interfaces becomes similar to traditional graphical toolkits. In the mean time, QHTML is an experiment investigating whether a single language can replace the numerous ad-hoc combined languages/technologies currently used for building Web-based interfaces. QHTML is realized thanks to the multi-paradigm features of the Oz programming language, which supports symbolic data structures, a functional programming style, an object-oriented style and concurrency via dataflow and lightweightthreads.
This work was funded at UCL and SICS by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under IST-2001-33234 PEPITO.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
W3C: HTML 4.01 specification (1999), http://www.w3.org/TR/html4
Netscape: Javascript documentation (2004), http://devedge.netscape.com
Microsoft: VBScript documentation (2004), http://msdn.microsoft.com/library/default.asp?url=/library/en-us/script56/html/vbstutor.asp
ncsa.uiuc.edu: The common gateway interface (2001), http://hoohoo.ncsa.uiuc.edu/cgi/overview.html
Microsoft: Active server pages (2004), http://msdn.microsoft.com/library/default.asp?url=/nhp/default.asp?contentid=28000522
PHP: PHP homepage (2004), http://www.php.net
W3C: Cascading style sheet level2, CSS2 specification (1998), http://www.w3.org/TR/REC-CSS2
W3C: The extensible markup language (2001), http://www.w3c.org/XML
Goodman, D.: Dynamic HTML: The Definitve Reference. O’Reilly & Assoicates, Sebastopol (1998)
W3C: Document object model (DOM) level 3 core specification (2001), http://www.w3.org/TR/2001/WD-DOM-Level-3-Core-20010913/
Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 324–343. Springer, Heidelberg (1995)
Mozart Consortium: The Mozart Programming System homepage (2004), http://www.mozart-oz.org
Ousterhout, J.: Tcl and the Tk Toolkit. Addison-Wesley, Reading (1994)
Grolaux, D., Van Roy, P.: QTk – an integrated model-based approach to designing executable user interfaces. LNCS, vol. 8. Springer, Heidelberg (2001)
Grolaux, D., Van Roy, P., Vanderdonckt, J.: QTk – a mixed declarative/procedural approach for designing executable user interfaces. In: 8, Toronto, Canada. LNCS. Springer, Heidelberg (2001)
Mehl, M.: The Oz Virtual Machine - Records, Transients, and Deep Guards. PhD thesis, Technische Fakultät der Universität des Saarlandes (1999)
Hudak, P.: The Haskell school of expression: learning functional programming through multimedia. Cambridge University Press, Cambridge (2000)
Hanus, M.: A unified computation model for functional and logic programming. In: Proc. 24st ACM Symposium on Principles of Programming Languages (POPL 1997), pp. 80–93 (1997)
Gill, A.: The HTML library for haskell (1999), http://www.cse.ogi.edu/~andy/html/intro.htm
Hanus, M.: High-level server side Web scripting in curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, p. 76. Springer, Heidelberg (2001)
W3C: Scalable vector graphics (SVG) 1.0 specification (2001), http://www.w3.org/TR/SVG
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
El-Ansary, S., Grolaux, D., Van Roy, P., Rafea, M. (2005). Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. In: Van Roy, P. (eds) Multiparadigm Programming in Mozart/Oz. MOZ 2004. Lecture Notes in Computer Science, vol 3389. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31845-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-31845-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25079-1
Online ISBN: 978-3-540-31845-3
eBook Packages: Computer ScienceComputer Science (R0)