Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language smalltalk | Applied Discrete Mathematics. Supplement. 2010. № 3.

HomeIssuesFormal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language smalltalk | Applied Discrete Mathematics. Supplement. 2010. № 3.

Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language smalltalk

Download file
Counter downloads: 217

Keywords

Authors

NameOrganizationE-mail
Stephantsov D. A.National Research Tomsk State Universitydastephantsov@mail.tsu.ru
Kryukova A. E.National Research Tomsk State Universitykryustasia@gmail.com
Всего: 2

References

Стефанцов Д. А. Реализация политик безопасности в компьютерных системах с помощью аспектно-ориентированного программирования / / Прикладная дискретная математика. 2008. №1(1). С. 94-100
Стефанцов Д. А. Технология и инструментальная среда создания защищённых систем обработки информации / / Прикладная дискретная математика. 2009. Приложение №1. С.55-56.
Filman R. E., Friedman D. P. Aspect-oriented programming is quantification and obliviousness [Электронный ресурс] / / Technical report, RIACS, 2000. URL: http://www. riacs.edu/research/technical_reports/TR_pdf/TR_01.12.pdf, свободный доступ (дата обращения: 9.04.2010)
Elrad T., Filman R.E., Bader A. Aspect-Oriented Programming / / Communicat. ACM. 2001. October. V.44. No. 10. P. 29-32.
Goldberg A., Robson D. Smalltalk 80: The Language and its implementation. Addison-Wesley, 1983. 742 p.
Whitney G. An extended BNF for specifying the syntax of declarations / / AFIPS Joint Computer Conferences, Boston, MA, USA. 1969. P. 801-812.
Tennet R. D. The denotational semantics of programming languages / / Communicat. ACM. 1976. August. V. 19. No. 8. P. 437-453.
Scott D. Data types as lattices / / Lect. Notes Mathem. 1975. V. 499. P. 579-651.
Janssen T. M. V. Algebraic translations, correctness and algebraic compiler construction / / Theoret. Comp. Scie. 1998. V. 199. P. 25-56.
Abelson H., Dybvig R. K., Haynes C. T., etal. Revised5 Report on the Algorithmic Language Scheme / / Higher-Order Symb. Comp. 1998. V. 11. No. 1. P. 7-105.
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. P. 80-87.
Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language smalltalk | Applied Discrete Mathematics. Supplement. 2010. № 3.

Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language smalltalk | Applied Discrete Mathematics. Supplement. 2010. № 3.