933 search results - page 33 / 187 » Multi-paradigm Declarative Languages |
126
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
152
click to vote
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
The Platform for Privacy Preferences (P3P) is a W3C framework for web privacy management. It provides a standard vocabulary that websites can use to describe their privacy practic...
140
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
140
click to vote
JFP
2002
15 years 3 months ago
2002
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
122
click to vote
DEBU
1999
15 years 3 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...