Applying translucid contracts for modular reasoning about aspect and object oriented events.

Details

Language :

English

ISBNs :

9781450306447

Database :

Complementary Index

Journal :

Proceedings of the 10th International Workshop: Foundations of Aspect-oriented Languages

Publication Type :

Conference

Accession number :

83494832

Full Text :

https://doi.org/10.1145/1960510.1960517