A denotational semantics for the AspectTalk programming language
Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 61-62
Voir la notice de l'article provenant de la source Math-Net.Ru
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},
publisher = {mathdoc},
number = {13},
year = {2011},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/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/