141 search results - page 5 / 29 » Automatic generation of library bindings using static analys... |
223
Voted
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
220
Voted
IWPC
2003
IEEE
16 years 21 days ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
242
click to vote
PLDI
2012
ACM
13 years 10 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...
205
Voted
EAAI
2007
15 years 7 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
191
click to vote
OOPSLA
2005
Springer
16 years 27 days ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...