Sciweavers

4421 search results - page 608 / 885
» Libraries
Sort
View
VL
2006
IEEE
100views Visual Languages» more  VL 2006»
15 years 9 months ago
Mica: A Web-Search Tool for Finding API Components and Examples
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
Jeffrey Stylos, Brad A. Myers
VL
2006
IEEE
106views Visual Languages» more  VL 2006»
15 years 9 months ago
Relo: Helping Users Manage Context during Interactive Exploratory Visualization of Large Codebases
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...
Vineet Sinha, David R. Karger, Rob Miller
ACL2
2006
ACM
15 years 9 months ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis
ACMSE
2006
ACM
15 years 9 months ago
Framework design using function generalization: a binary tree traversal case study
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
H. Conrad Cunningham, Yi Liu, Pallavi Tadepalli
165
Voted
AOSD
2006
ACM
15 years 9 months ago
Relationship aspects
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
David J. Pearce, James Noble