Semantics and scoping of aspects in higher-order languages

DOI10.1016/J.SCICO.2006.01.003MaRDI QIDQ856916zbMATHOpenAlexFDO

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

zbMATH Keywords

aspectadvicehigher-orderabstract machineschemeCEKSjoin pointpointcut

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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

Cited in

(4)

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

Describes a project that uses

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)