1733 search results - page 216 / 347 » On the naturalness of software |
197
click to vote
UIST
1998
ACM
15 years 10 months ago
1998
ACM
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...
172
click to vote
FOSSACS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
162
click to vote
IATA
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we present several approaches to making the process of configuring network devices easier than is currently the case. Configuring a device requires that a number of ...
186
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
154
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...