Sciweavers

148 search results - page 1 / 30
» WebScript - A Scripting Language for the Web
Sort
View
CORR
1999
Springer
107views Education» more  CORR 1999»
13 years 4 months ago
WebScript - A Scripting Language for the Web
WebScript is a scripting language for processing Web documents. Designed as an extension to Jacl, the Java implementation of Tcl, WebScript allows programmers to manipulate HTML i...
Yin Zhang
PADL
1999
Springer
13 years 9 months ago
Client-Side Web Scripting with HaskellScript
Erik Meijer, Daan Leijen, James Hook
IEEEIAS
2008
IEEE
13 years 11 months ago
Challenges for Security Typed Web Scripting Languages Design
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 2 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero