Semantics and scoping of aspects in higher-order languages

DOI10.1016/J.SCICO.2006.01.003zbMATH Open1119.68111OpenAlexW2125899403MaRDI QIDQ856916FDOQ856916

Authors: Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi 

Publication date: 14 December 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.01.003

Recommendations

• A theory of aspects
• scientific article; zbMATH DE number 1951124
• Aspectual Caml: an aspect-oriented functional language
• Semantics of static pointcuts in aspectJ
• A type-theoretic interpretation of pointcuts and advice

zbMATH Keywords

aspectadvicehigher-orderabstract machineschemeCEKSjoin pointpointcut

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (4)

• MRI: modular reasoning about interference in incremental programming
• Chemical foundations of distributed aspects
• Scoping strategies for distributed aspects
• Aspectual Caml: an aspect-oriented functional language

Uses Software

• DrScheme
• AspectJ
• PolyAML
• AspectScheme
• MzScheme

This page was built for publication: Semantics and scoping of aspects in higher-order languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856916)