Aspect-oriented action semantics descriptions

DOI10.1016/J.ENTCS.2008.03.069MaRDI QIDQ2866741zbMATH OpenOpenAlexFDO

Authors L. F. Menezes

Publication date 13 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.069

zbMATH Keywords

action semanticsaspect-oriented programmingformal semanticsprogramming languages

Mathematics Subject Classification ID

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

Recommendations

• A denotational semantics for the AspectTalk programming language
• A theory of aspects
• On semantic descriptions of software systems
• scientific article; zbMATH DE number 1231677
• Constructive Action Semantics in OBJ

Cites work

• Action Semantics
• Composing programming languages by combining action-semantics modules.
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)

Cited in

(6)

• Composing programming languages by combining action-semantics modules.
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• scientific article; zbMATH DE number 2085188 (Why is no real title available?)
• A denotational semantics for the AspectTalk programming language
• On semantic descriptions of software systems
• Constructive Action Semantics in OBJ

This page was built for publication: Aspect-oriented action semantics descriptions

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