6149 search results - page 180 / 1230 » Revealing the programming process |
106
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
98
Voted
AGP
1999
IEEE
15 years 7 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
141
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
183
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
154
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...