A denotational semantics for the aspecttalk programming language
Download file
Counter downloads: 262
Keywords
Authors
| Name | Organization | |
| Stephantsov D.A. | National Research Tomsk State University | dastephantsov@mail.tsu.ru |
| Kryukova A. E. | National Research Tomsk State University | nihility1155@gmail.com |
References
Стефанцов Д. А. Реализация политик безопасности в компьютерных системах с помощью аспектно-ориентированного программирования // Прикладная дискретная математика. №1(1). 2008. С. 94-100.
Стефанцов Д. А. Технология и инструментальная среда создания защищённых систем обработки информации // Прикладная дискретная математика. Приложение №1. 2009. С. 55-56.
Стефанцов Д. А., Крюкова А. Е. Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk // Прикладная дискретная математика. Приложение №3. 2010. С. 84-85.
Tennent R. D. Denotational semantics // Handbook of logic in computer science. Oxford, UK: Oxford University Press, 1994. V.3. P. 169-322.
Scott D. S. Data types as lattices // Lecture Notes in Mathematics. 1975. V. 499. P. 579-651.
