A denotational semantics for the AspectTalk programming language

MaRDI QIDQ5150483zbMATH OpenFDO

Authors D. A. Stephantsov, A. E. Kryukova

Publication date 15 February 2021

Full work available at URL http://mathnet.ru/eng/pdm324

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

• scientific article; zbMATH DE number 7310152
• scientific article; zbMATH DE number 3902017
• Aspect-oriented action semantics descriptions
• A theory of aspects
• scientific article; zbMATH DE number 3956413

Cites work

• scientific article; zbMATH DE number 3503200 (Why is no real title available?)
• Implementation of security policies in computer systems by means of aspect-oriented programming

Cited in

(6)

• Denotational semantics of an object-oriented programming language with explicit wrappers
• Denotational semantics of a simple model of Eiffel
• A denotational semantics for SPARC TSO
• Aspect-oriented action semantics descriptions
• scientific article; zbMATH DE number 7310152 (Why is no real title available?)
• A denotational semantics for Handel-C

Describes a project that uses

Uses Software

• AspectTalk

This page was built for publication: A denotational semantics for the AspectTalk programming language

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