3404 search results - page 133 / 681 » C Programming Tutorial |
108
click to vote
ECOOP
1995
Springer
15 years 1 months ago
1995
Springer
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve p...
MP
2002
14 years 9 months ago
2002
The stability number (G) for a given graph G is the size of a maximum stable set in G. The Lov
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
PLDI
2011
ACM
14 years 21 days ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
POPL
2011
ACM
14 years 21 days ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...