Semantics of static pointcuts in aspectJ

DOI10.1145/1190216.1190221MaRDI QIDQ3189782zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere

Publication date 12 September 2014

Published in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1190216.1190221

zbMATH Keywords

aspect-oriented programmingDataloglogic programmingpointcutsterm rewriting

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2036329
• scientific article; zbMATH DE number 1951108
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1728246
• On AspectJ and composition filters: a mapping of concepts

Cited in

(6)

• scientific article; zbMATH DE number 5598386 (Why is no real title available?)
• scientific article; zbMATH DE number 2036329 (Why is no real title available?)
• scientific article; zbMATH DE number 2040575 (Why is no real title available?)
• Programming Languages and Systems
• Semantics and scoping of aspects in higher-order languages
• A type-theoretic interpretation of pointcuts and advice

Describes a project that uses

Uses Software

• AspectJ
• CodeQuest
• JHotDraw
• XSB

This page was built for publication: Semantics of static pointcuts in aspectJ

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