A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
PowerForms: Declarative Client-Side Form Field Validation
2000
BRICS Report Series
Preserved Fulltext
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
2010
Journal of Theoretical and Applied Electronic Commerce Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2002
ACM Transactions on Internet Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2002
IEEE Internet Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the eleventh international conference on World Wide Web - WWW '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the eleventh international conference on World Wide Web - WWW '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2003
IEEE Transactions on Knowledge and Data Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2002
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2007
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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