5608 search results - page 308 / 1122 » Structure description tools |
139
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...
233
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
157
Voted
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Collaborative visual analysis tools can enhance sensemaking by facilitating social interpretation and parallelization of effort. These systems enable distributed exploration and e...
137
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
172
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...