3573 search results - page 561 / 715 » Reasoning about Codata |
118
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
142
click to vote
POPL
2010
ACM
16 years 16 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
140
click to vote
SPAA
2009
ACM
16 years 9 days ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
145
click to vote
PEPM
2010
ACM
16 years 1 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
220
click to vote
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...