FREE Registration is required
Overview:
This paper defines Aspectml, a typed functional, aspect-oriented programming language. The main contribution of Aspectml is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programming language features. In particular, Aspectml allows programmers to define type-safe polymorphic advice using pointcuts constructed from a collection of polymorphic join points. Aspectml also comes equipped with a type inference algorithm that conservatively extends Hindley-Milner type inference. To support first-class polymorphic point-cut designators, a crucial feature for developing aspect-oriented profiling or logging libraries, the algorithm blends the conventional Hindley-Milner type inference algorithm with a simple form of local type inference.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 1,034 KB | |
| Date: | Mar 2007 | ||
| Pages: | 59 |
People who downloaded this item also downloaded
![]() |
Aspect-Oriented Design Principles: Lessons From Object-Oriented Design |
White Papers, Webcasts, and Resources
- Spend 3 minutes with free EBS ROI Tool - and Save Thousands IBMSee exactly how an Oracle EBS upgrade can lower your cost of ownership, deliver greater business intelligence, and improve capabilities company-wide.
- Whitepaper: Dell Proconsult Deduplication Services Dell EqualLogicGet expert guidance and a proven process for reducing storage requirements and improving backup processes by removing duplicate data.
- Windows Phones and Unified Communications MicrosoftGain a more solid understanding of UC, why its essential for your business today, and what makes Windows phones ideal for secure UC environments.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
Featured Training Courses
- Implementing and Administering Windows 7 in the Enterprise
- CCNA Boot Camp v2.0
- VMware vSphere: Install, Configure, Manage [V4]
- Certified Ethical Hacker
- Management and Leadership Skills
- Browse all Training Courses






