Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

DOI10.1016/J.SCICO.2005.12.001MaRDI QIDQ856922zbMATH OpenOpenAlexFDO

Authors D. Stauch, Karine Altisen, Florence Maraninchi

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.2005.12.001

zbMATH Keywords

reactive systemsformal semanticsaspect-oriented programmingsynchronous languages

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2040582
• scientific article; zbMATH DE number 2018588
• Chemical foundations of distributed aspects
• Research on aspect oriented operating systems
• scientific article; zbMATH DE number 1951124

Cited in

(14)

• Extending the object model to provide explicit support for crosscutting concerns
• scientific article; zbMATH DE number 1956485 (Why is no real title available?)
• Chemical foundations of distributed aspects
• scientific article; zbMATH DE number 2018589 (Why is no real title available?)
• A Modular LTS for Open Reactive Systems
• scientific article; zbMATH DE number 2026073 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 2040582 (Why is no real title available?)
• scientific article; zbMATH DE number 2040576 (Why is no real title available?)
• Aspects of availability. Enforcing timed properties to prevent denial of service
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Dynamic aspect weaving in large-scale distributed technological control systems
• Cooperative aspect-oriented programming
• Research on aspect oriented operating systems

Describes a project that uses

Uses Software

• AspectJ

This page was built for publication: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

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