×

A denotational semantics for the AspectTalk programming language. (Russian. English summary) Zbl 1477.68067

Summary: The denotational semantics for the aspect-oriented programming language AspectTalk is presented. It is constructed as a triple consisting of syntactic sets, semantic domains, and a set of functions from the syntactic sets into the semantic domains.

MSC:

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

Software:

AspectTalk
PDFBibTeX XMLCite
Full Text: MNR

References:

[1] Stefantsov D. A., “Realizatsiya politik bezopasnosti v kompyuternykh sistemakh s pomoschyu aspektno-orientirovannogo programmirovaniya”, Prikladnaya diskretnaya matematika, 2008, no. 1(1), 94-100
[2] Stefantsov D. A., “Tekhnologiya i instrumentalnaya sreda sozdaniya zaschischënnykh sistem obrabotki informatsii”, Prikladnaya diskretnaya matematika, 2009, Prilozhenie № 1, 55-56
[3] Stefantsov D. A., Kryukova A. E., “Formalnoe dokazatelstvo semanticheskoi ekvivalentnosti yadra yazyka AOP AspectTalk i yazyka OOP Smalltalk”, Prikladnaya diskretnaya matematika, 2010, Prilozhenie № 3, 84-85
[4] Tennent R. D., “Denotational semantics”, Handbook of logic in computer science, 3, Oxford University Press, Oxford, UK, 1994, 169-322
[5] Scott D. S., “Data types as lattices”, Lecture Notes in Mathematics, 499, 1975, 579-651 · Zbl 0322.02024
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.