T. Suzuki and T. Tokuda (Japan)
: Web applications, constraint programming,
user input validation and automatic computation on HTML
documents from completely declarative descriptions. Its
input is an HTML document with validation conditions and
constraints, and its output is an HTML document with a
tion. Our system makes it easy to develop and maintain
client side programs for that purpose because there is no
need to write any procedure. The generated programs not
only provide interactive action and help to keep consistency
among data in input forms on client side but also will re
duce both network trafﬁc and load on server side.
This technique can be applied to other electronic doc
uments such as PDF documents, VoiceXML documents
and Wireless Markup Language documents because client
side programs are available in them.