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

DOI10.1016/J.SCICO.2005.12.001zbMath1119.68045OpenAlexW2048713005MaRDI QIDQ856922

D. Stauch, Florence Maraninchi, Karine Altisen

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

formal semanticsreactive systemssynchronous languagesaspect-oriented programming

Mathematics Subject Classification ID

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

Related Items (2)

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Aspects of availability. Enforcing timed properties to prevent denial of service

Uses Software

• AspectJ

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