2943 search results - page 498 / 589 » Software Implementation of Synchronous Programs |
115
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
144
click to vote
AOSD
2004
ACM
15 years 7 months ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
135
click to vote
AOSD
2004
ACM
15 years 7 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
127
Voted
AOSD
2003
ACM
15 years 7 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
136
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...