3926 search results - page 105 / 786 » A Logic of Object-Oriented Programs |
264
Voted
Book
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
150
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
157
Voted
ENTCS
2008
15 years 5 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
154
click to vote
JSS
2006
15 years 4 months ago
2006
Dynamic memory management can make up to 60% of total program execution time. Object oriented languages such as C++ can use 20 times more memory than procedural languages like C. ...
200
click to vote
PLDI
2012
ACM
13 years 7 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...