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/

[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] Filman R. E., Friedman D. P., Aspect-oriented programming is quantification and obliviousness, [Elektronnyi resurs] Technical report, RIACS , 2000, svobodnyi dostup (data obrascheniya: 9.04.2010) http://www.riacs.edu/research/technical_reports/TR_pdf/TR_01.12.pdf

[4] Elrad T., Filman R. E., Bader A., “Aspect-Oriented Programming”, Communicat. ACM, 44:10, october (2001), 29–32 | DOI

[5] Goldberg A., Robson D., Smalltalk 80: The Language and its implementation, Addison-Wesley, 1983, 742 pp. | Zbl

[6] Whitney G., “An extended BNF for specifying the syntax of declarations”, AFIPS Joint Computer Conferences, Boston, MA, USA, 1969, 801–812

[7] Tennet R. D., “The denotational semantics of programming languages”, Communicat. ACM, 19:8, august (1976), 437–453 | DOI | MR

[8] Scott D., “Data types as lattices”, Lect. Notes Mathem., 499, 1975, 579–651 | MR | Zbl

[9] Janssen T. M. V., “Algebraic translations, correctness and algebraic compiler construction”, Theoret. Comp. Scie., 199 (1998), 25–56 | DOI | MR | Zbl

[10] Abelson H., Dybvig R. K., Haynes C. T., et al., “Revised$^5$ Report on the Algorithmic Language Scheme”, Higher-Order Symb. Comp., 11:1 (1998), 7–105 | DOI | MR | Zbl

[11] Kamin S., “Inheritance in Smalltalk-80: a denotational definition”, POPL' 88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1988, 80–87