Geodesic
Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk
Prikladnaâ diskretnaâ matematika, no. 12 (2010), pp. 84-85

Voir la notice de l'article provenant de la source Math-Net.Ru

Denotational semantics of programming languages are considered. The core of an aspect-oriented programming language is defined as its subset which is not aspect-oriented. Semantics equivalence between the core of the aspect-oriented programming language AspectTalk and the object-oriented programming language Smalltalk is proven with commutativity of the diagram in which objects are syntax or semantic domains and arrows are homomorphisms. The proof shows in particular that the core of AspectTalk is really an object-oriented programming language and the automatic translation of programs from the core of AspectTalk into Smalltalk and vice versa is possible. 
@article{PDM_2010_12_a41,
     author = {D. A. Stephantsov and A. E. Kryukova},
     title = {Formal proof of the semantic equivalence between the core of the {AOP} language {AspectTalk} and the {OOP} language {Smalltalk}},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {84--85},
     publisher = {mathdoc},
     number = {12},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2010_12_a41/}
}
TY  - JOUR
AU  - D. A. Stephantsov
AU  - A. E. Kryukova
TI  - Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2010
SP  - 84
EP  - 85
IS  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2010_12_a41/
LA  - ru
ID  - PDM_2010_12_a41
ER  - 
%0 Journal Article
%A D. A. Stephantsov
%A A. E. Kryukova
%T Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk
%J Prikladnaâ diskretnaâ matematika
%D 2010
%P 84-85
%N 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2010_12_a41/
%G ru
%F PDM_2010_12_a41
D. A. Stephantsov; A. E. Kryukova. Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk. Prikladnaâ diskretnaâ matematika, no. 12 (2010), pp. 84-85. http://geodesic.mathdoc.fr/item/PDM_2010_12_a41/