Title
Translucid Contracts For Modular Reasoning About Aspect-Oriented Programs
Keywords
Modular reasoning; Translucid contracts
Abstract
Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve modular reasoning problems, but have not shown how to specify these interfaces to facilitate modular reasoning. Our work on translucid contracts shows how to specify AO interfaces which allow modular understanding and enforcement of control flow interactions.
Publication Date
1-1-2010
Publication Title
Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH '10
Number of Pages
245-246
Document Type
Article; Proceedings Paper
Personal Identifier
scopus
DOI Link
https://doi.org/10.1145/1869542.1869596
Copyright Status
Unknown
Socpus ID
78650128889 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/78650128889
STARS Citation
Bagherzadeh, Mehdi; Rajan, Hridesh; Leavens, Gary T.; and Mooney, Sean, "Translucid Contracts For Modular Reasoning About Aspect-Oriented Programs" (2010). Scopus Export 2010-2014. 1694.
https://stars.library.ucf.edu/scopus2010/1694