Sciweavers

581 search results - page 20 / 117
» WebL - A Programming Language for the Web
Sort
View
POPL
2000
ACM
15 years 4 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
ICFP
2007
ACM
15 years 11 months ago
Experience report: scheme in commercial web application development
Over the past year Untyped has developed some 40'000 lines of Scheme code for a variety of web-based applications, which receive over 10'000 hits a day. This is, to our ...
Noel Welsh, David Gurnell
POPL
2006
ACM
15 years 12 months ago
The essence of command injection attacks in web applications
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
Zhendong Su, Gary Wassermann
74
Voted
CP
2005
Springer
15 years 5 months ago
Encoding Requests to Web Service Compositions as Constraints
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
Alexander Lazovik, Marco Aiello, Rosella Gennari
PPDP
2010
Springer
14 years 10 months ago
HSS: a compiler for cascading style sheets
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
Manuel Serrano