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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• MAVEN: Modular aspect verification and interference analysis
• Superposition with datatypes and codatatypes
• Extension Morphisms for CommUnity
• Aspect Categories and Classes of Temporal Properties

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)