428 search results - page 1 / 86 » Adding Dynamic Types to C |
ECOOP
2010
Springer
13 years 6 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
OOPSLA
1997
Springer
13 years 8 months ago
1997
Springer
IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
HIPC
2003
Springer
13 years 9 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
BMCBI
2005
13 years 4 months ago
2005
Background: The extraction of biological knowledge from genome-scale data sets requires its analysis in the context of additional biological information. The importance of integra...