2943 search results - page 498 / 589 » Software Implementation of Synchronous Programs |
VMCAI
2005
Springer
14 years 3 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...
AOSD
2004
ACM
14 years 3 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...
AOSD
2004
ACM
14 years 3 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...
AOSD
2003
ACM
14 years 3 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...
GECCO
2010
Springer
14 years 2 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...