Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 61-62
Citer cet article
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/
@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
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.
[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
