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

Socpus ID

78650128889 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/78650128889

This document is currently not available here.

Share

COinS