Typing for a minimal aspect language

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Typing for a minimal aspect language: preliminary report

Full text

Pdf (307 KB)

Source

FOAL; Vol. 268 archive
Proceedings of the 6th workshop on Foundations of aspect-oriented languages table of contents

Vancouver, British Columbia, Canada

Pages: 15 - 22

Year of Publication: 2007

ISBN:1-59593-661-5

Authors

Peter Hui	DePaul University
James Riely	DePaul University

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 35, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1233833.1233836 What is a DOI?

ABSTRACT

We present a preliminary report on typing systems for polyadic μABC, aspect oriented programming---pointcuts and advice---and nothing else. Tuples of uninterpreted names are used to trigger advice. The resulting language is remarkably unstructured: the least common denominator of the pi-calculus and Linda. As such, developing meaningful type systems is a substantial challenge.

Our work is guided by the translation of richly typed languages into μABC, specifically function- and class-based languages augmented with advice. The "impedance mismatch" between source and target is severe, and this leads us to a novel treatment of types in μABC.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M. Abadi, L. Cardelli, P. L. Curien, and J. J. Levy. Explicit substitutions. Journal of Functional Programming, 1(4):375--416, 1991.
	2	Glen Bruns, Radha Jagadeesan, Alan Jeffrey, and James Riely. μABC: A minimal aspect calculus. In Philippa Gardner and Nobuko Yoshida, editors, CONCUR 2004: Concurrency Theory, volume 3170 of Lecture Notes in Computer Science, pages 209--224, London, August 2004. Springer.
	3	Curtis Clifton , Gary T. Leavens, MiniMAO1: an imperative core language for studying aspect-oriented reasonings, Science of Computer Programming, v.63 n.3, p.321-374, 15 December 2006 [doi>10.1016/j.scico.2006.02.009]
	4	Christopher Dutchyn , David B. Tucker , Shriram Krishnamurthi, Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, v.63 n.3, p.207-239, 15 December 2006 [doi>10.1016/j.scico.2006.01.003]
	5	Peter Hui and James Riely. Temporal aspects as security automata. In Foundations of Aspect-Oriented Languages (FOAL), pages 19--28, 2006.
	6	Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001 [doi>10.1145/503502.503505]
	7	Radha Jagadeesan , Alan Jeffrey , James Riely, Typed parametric polymorphism for aspects, Science of Computer Programming, v.63 n.3, p.267-296, 15 December 2006 [doi>10.1016/j.scico.2006.02.008]
	8	Radha Jagadeesan , Corin Pitcher , James Riely, Open bisimulation for aspects, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1218563.1218577]
	9	Jay Ligatti , David Walker , Steve Zdancewic, A type-theoretic interpretation of pointcuts and advice, Science of Computer Programming, v.63 n.3, p.240-266, 15 December 2006 [doi>10.1016/j.scico.2006.01.004]
	10	Davide Sangiorgi , David Walker, PI-Calculus: A Theory of Mobile Processes, Cambridge University Press, New York, NY, 2001
	11	David Walker , Steve Zdancewic , Jay Ligatti, A theory of aspects, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.127-139, August 25-29, 2003, Uppsala, Sweden