Superimpositions and Aspect-oriented Programming

DOI10.1093/COMJNL/46.5.529zbMATH Open1077.68593OpenAlexW2143206641MaRDI QIDQ4474744FDOQ4474744

Authors Marcelo Sihman, Shmuel Katz

Publication date 12 July 2004

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d3c48c3e32923b4c329fdeef14f83e9167007bc4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 140244
• Superposition refinement of reactive systems
• scientific article; zbMATH DE number 1951108
• scientific article; zbMATH DE number 1728246
• scientific article; zbMATH DE number 1951124

Cited in

(5)

• Aspect Categories and Classes of Temporal Properties
• MAVEN: Modular aspect verification and interference analysis
• scientific article; zbMATH DE number 140244 (Why is no real title available?)
• Superposition with datatypes and codatatypes
• Extension Morphisms for CommUnity

Describes a project that uses

Uses Software

• AspectJ

This page was built for publication: Superimpositions and Aspect-oriented Programming

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