994 search results - page 5 / 199 » Declarative Programming of User Interfaces |
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
ENTCS
2002
13 years 10 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
LPAR
1994
Springer
14 years 2 months ago
1994
Springer
In this paper we develop a generic declarative diagnoser for normal logic programs that is based on tree search. The soundness and the completeness of the diagnoser are proved. The...
CHI
1997
ACM
14 years 3 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...