270 search results - page 2 / 54 » A Type System for Dynamic Web Documents |
COORDINATION
2006
Springer
13 years 9 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ADC
2006
Springer
13 years 11 months ago
2006
Springer
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
ISEC
2001
Springer
13 years 9 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...