956 search results - page 163 / 192 » Languages as libraries |
WWW
2007
ACM
16 years 14 days ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
WWW
2005
ACM
16 years 14 days ago
2005
ACM
In this paper we present the Infocious Web search engine [23]. Our goal in creating Infocious is to improve the way people find information on the Web by resolving ambiguities pre...
217
click to vote
PADL
2009
Springer
16 years 13 days ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
93
Voted
CAV
2009
Springer
16 years 10 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
183
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...