Filters








19 Hits in 1.9 sec

PowerForms: Declarative Client-Side Form Field Validation

Claus Brabrand, Anders Møller, Ricky Mikkel Christensen, Michael I. Schwartzbach
2000 BRICS Report Series  
Today, CGI programmers often use Perl libraries for simple server-side validation or program customized JavaScript solutions for client-side validation.  ...  <br />We present PowerForms, which is an add-on to HTML forms that<br />allows a purely declarative specification of input formats and sophisticated interdependencies of form fields.  ...  An obvious solution to the first two drawbacks is to move the validation from the server to the client, yielding client-side input validation.  ... 
doi:10.7146/brics.v7i43.20210 fatcat:7i3cf5vv6fgj7cdlyxetczsoj4

A Semantic Data Validation Service for Web Applications

Shadi Aljawarneh, Faisal Alkhateeb, Eslam Al Maghayreh
2010 Journal of Theoretical and Applied Electronic Commerce Research  
An Input validation can be a critical issue.  ...  to secure the web system even if the input validation modules are bypassed.  ...  The form declares that the values of the two input fields should be submitted with the variables varUserName and varPassword to login.asp, which includes the following code [17] : SQLQuery = "SELECT *  ... 
doi:10.4067/s0718-18762010000100005 fatcat:42lizqwolvhi3pdmhwhkeucnqu

The bigwig Project

Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2002 BRICS Report Series  
In addition, the design provides high-level solutions to form field validation, caching of dynamic pages, and temporal-logic based concurrency control, and it proposes syntax macros for making highly domain-specific  ...  The language is implemented via widely available Web technologies, such as Apache on the server-side and JavaScript and Java Applets on the client-side.  ...  Also, the programmer needs not anymore write essentially the same code in a server-side version and a client-side version. PowerForms is a declarative language.  ... 
doi:10.7146/brics.v9i1.21718 fatcat:fnzmrsudlfc2diwhwp2voeugzy

The project

Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2002 ACM Transactions on Internet Technology  
In addition, the design provides high-level solutions to form field validation, caching of dynamic pages, and temporal-logic based concurrency control, and it proposes syntax macros for making highly domain-specific  ...  The language is implemented via widely available Web technologies, such as Apache on the server-side and JavaScript and Java Applets on the client-side.  ...  Also, the programmer does not need to write essentially the same code in a server-side version and a client-side version anymore. PowerForms is a declarative language.  ... 
doi:10.1145/514183.514184 fatcat:y4cesy2cx5b3rbt7ehkg4belse

Putting declarative programming into the web

Michael Hanus
2007 Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07  
The interfaces are web-based, i.e., the data can be manipulated with standard web browsers without any specific requirements on the client side.  ...  However, if the client's browser has JavaScript enabled, one could also check the correctness of the data on the client side providing immediate feedback to the user.  ...  In order to validate user inputs in HTML forms, the <bigwig> project proposes PowerForms [7] , an extension of HTML with a declarative specification language to annotate acceptable form inputs.  ... 
doi:10.1145/1273920.1273942 dblp:conf/ppdp/Hanus07 fatcat:rxu2wmcnznbglkautwbdvabh4a

Developing secure Web applications

D. Scott, R. Sharp
2002 IEEE Internet Computing  
In this way, validation checks are performed on both the client side (to improve observed latency between form submission and receiving validation errors) and the server side (for security).  ...  , allows developers to attach constraints (expressed as regular expressions) to form fields. 4 A compiler generates both client-side JavaScript and code for server-side checks.  ... 
doi:10.1109/mic.2002.1067735 fatcat:coszvorpdzfqphawut7w3jnjvu

Abstracting application-level web security

David Scott, Richard Sharp
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
For example, web-forms often use JavaScript for client-side validation to reduce the observed latency between form submission and receiving validation errors.  ...  Client-side Form Validation For each HTML-form in the HTTP response the security gateway inserts JavaScript code to perform validation checks on the client's machine.  ... 
doi:10.1145/511495.511498 fatcat:uzscpby72ng5dpd7sad5qm4c4m

Abstracting application-level web security

David Scott, Richard Sharp
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
For example, web-forms often use JavaScript for client-side validation to reduce the observed latency between form submission and receiving validation errors.  ...  Client-side Form Validation For each HTML-form in the HTTP response the security gateway inserts JavaScript code to perform validation checks on the client's machine.  ... 
doi:10.1145/511446.511498 dblp:conf/www/ScottS02 fatcat:cegtvjz5lbbbfhhwvfhan7yd4u

Specifying and enforcing application-level web security policies

D. Scott, R. Sharp
2003 IEEE Transactions on Knowledge and Data Engineering  
Client-Side Form Validation Whenever requested by the policy document, the security gateway inserts JavaScript code to perform client-side validation checks.  ...  For example, Web-forms often use JavaScript for client-side validation to reduce the observed latency between form submission and receiving validation errors.  ... 
doi:10.1109/tkde.2003.1208998 fatcat:ho3gdgpmevbe3nzvo7xwvujktm

Extending Java for high-level Web service construction

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 ACM Transactions on Programming Languages and Systems  
and that all documents being shown are valid according to the document type definition for XHTML 1.0.  ...  To support program development we provide a suite of program analyses that at compiletime verify for a given program that no run-time errors can occur while building documents or receiving form input,  ...  One example is validation of form input. Many Web services apply intricate JavaScript client-side code in the Web documents for checking that input forms are filled in consistently.  ... 
doi:10.1145/945885.945890 fatcat:xs6phj35bbajxj4kbpwqh4z4su

Extending Java for High-Level Web Service Construction

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2002 BRICS Report Series  
and that all documents being shown are valid according to the document type definition for XHTML 1.0.  ...  To support program development we provide a suite of program analyses that at compile-time verify for a given program that no run-time errors can occur while building documents or receiving form input,  ...  One example is validation of form input. Many Web services apply intricate JavaScript client-side code in the Web documents for checking that input forms are filled in consistently.  ... 
doi:10.7146/brics.v9i11.21729 fatcat:oytoqydvxvayxkifji4acqsi74

iData for the World Wide Web – Programming Interconnected Web Forms [chapter]

Rinus Plasmeijer, Peter Achten
2006 Lecture Notes in Computer Science  
Complicated form dependencies can be defined in a pure functional, type safe, declarative programming style. This liberates the programmer from lots of low-level HTML programming and form handling.  ...  Generic programming techniques enable the automatic generation of HTML-forms from these types. These forms can be plugged into the web application. The iData elements can be interconnected.  ...  For many companies their web based services are their only contact with clients. These clients gain access to these applications via a wide variety of browsers.  ... 
doi:10.1007/11737414_17 fatcat:yqzo7egxnfefvlghoo74qr2jbe

The Implementation of iData [chapter]

Rinus Plasmeijer, Peter Achten
2006 Lecture Notes in Computer Science  
An iData element is a form that is generated automatically from a type definition and that can be plugged in in the web page of a web application.  ...  In this paper we show how this automatic generation of forms has been implemented. The technique relies essentially on generic programming. It has resulted in a concise and flexible implementation.  ...  Powerforms reside on the client-side of a web application. The type system is used to filter out illegal user input. The use of the type system is what they have in common with our approach.  ... 
doi:10.1007/11964681_7 fatcat:fuu6rkdujbcmrl4xuicqmsu6mi

iTasks

Rinus Plasmeijer, Peter Achten, Pieter Koopman
2007 Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07  
It is based on the Clean iData toolkit which makes it possible to create fully dynamic, interactive, thin client web applications.  ...  Thanks to the generic programming techniques used in the iData toolkit, the programming effort is reduced significantly: state handling, form rendering, user interaction, and storage management is handled  ...  Powerforms reside on the client-side of a web application. The type system is used to filter out illegal user input. The use of the type system is what they have in common with our approach.  ... 
doi:10.1145/1291151.1291174 dblp:conf/icfp/PlasmeijerAK07 fatcat:65m3weh63nbrxeqkdhyvakcph4

iTasks

Rinus Plasmeijer, Peter Achten, Pieter Koopman
2007 SIGPLAN notices  
It is based on the Clean iData toolkit which makes it possible to create fully dynamic, interactive, thin client web applications.  ...  Thanks to the generic programming techniques used in the iData toolkit, the programming effort is reduced significantly: state handling, form rendering, user interaction, and storage management is handled  ...  Powerforms reside on the client-side of a web application. The type system is used to filter out illegal user input. The use of the type system is what they have in common with our approach.  ... 
doi:10.1145/1291220.1291174 fatcat:zvfojvipanfglmhhjv3j4ennda
« Previous Showing results 1 — 15 out of 19 results