Geodesic
A denotational semantics for the AspectTalk programming language
Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 61-62
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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. 
@article{PDM_2011_13_a30,
     author = {D. A. Stephantsov and A. E. Kryukova},
     title = {A denotational semantics for the {AspectTalk} programming language},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {61--62},
     year = {2011},
     number = {13},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2011_13_a30/}
}
TY  - JOUR
AU  - D. A. Stephantsov
AU  - A. E. Kryukova
TI  - A denotational semantics for the AspectTalk programming language
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2011
SP  - 61
EP  - 62
IS  - 13
UR  - http://geodesic.mathdoc.fr/item/PDM_2011_13_a30/
LA  - ru
ID  - PDM_2011_13_a30
ER  - 
%0 Journal Article
%A D. A. Stephantsov
%A A. E. Kryukova
%T A denotational semantics for the AspectTalk programming language
%J Prikladnaâ diskretnaâ matematika
%D 2011
%P 61-62
%N 13
%U http://geodesic.mathdoc.fr/item/PDM_2011_13_a30/
%G ru
%F PDM_2011_13_a30
D. A. Stephantsov; A. E. Kryukova. A denotational semantics for the AspectTalk programming language. Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 61-62. http://geodesic.mathdoc.fr/item/PDM_2011_13_a30/

[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 No 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 No 3, 84–85

[4] Tennent R. D., “Denotational semantics”, Handbook of logic in computer science, 3, Oxford University Press, Oxford, UK, 1994, 169–322 | MR

[5] Scott D. S., “Data types as lattices”, Lecture Notes in Mathematics, 499, 1975, 579–651 | Zbl