An information is given about reanimation of the Russian programming languageLYaPAS aimed at the elaboration of a trusted soft- and hardware for creating thesecure computer systems of logic control.
Download file
Counter downloads: 91
- Title To reanimation of Russian programming language
- Headline To reanimation of Russian programming language
- Publesher
Tomsk State University - Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 3(17)
- Date:
- DOI
Keywords
безопасные компьютерные системы логического управления, доверенное программное обеспечение, ЛЯПАС, LYaPAS, trusted software, trusted hardware, secure computer systems, logic controlAuthors
References
Wollinger T., Guajardo J., and Paar C. Cryptography on FPGAs. State of the art implementations and attacks / / ACM Trans. on Embedded Computing Systems. 2004. V. 3. No. 3. P. 534-574.
Зотов В. Ю. Проектирование цифровых устройств на основе ПЛИС фирмы XILINX в САПР WtbPACK ISE. М.: Горячая линия-Телеком, 2003.
Соловьёв В. В. Проектирование функциональных узлов цифровых систем на программируемых логических устройствах. Минск: ПК ООО Бестпринт, 1996. 252 с.
Закревский А. Д. Машина для решения логических задач типа синтеза релейных схем / / Синтез релейных устройств. Труды Междунар. симп. по теории релейных устройств и конечных автоматов. М.: Наука, 1965. С. 346-356.
Торопов Н. Р. Язык программирования ЛЯПАС / / Прикладная дискретная математика. 2009. №2(4). С.9-25.
Tratnik I. Seminar «Analiza in primerjava jezikov za podro'je digitalne tehnike». Lljubljani: Univerzav, 1979. 63 c.
Michalski A. and Wiewiorowski T. Odra Ljapas. Warszawa: Computation-Centre Polish Academy of Sciences, 1970. 33 p.
Nadler N. User Group for Russian Programming Language / / IEEE, Newsletter for Computer-Aided Design. 1971. Iss.3.
Charles J. and Albright Jr. An interpreter for the language LYaPAS. University of North Carolina at Chapel Hill: Department of Computer Science, 1974. 127 p.
LYaPAS: A programming language for logic and coding algorithms / ed. M. A. Gavrilov and A.D. Zakrevskii. New York; London: Academic Press, 1969. 475 p.
Панкратова И. А., Быкова С. В., Николаева С. В., Оранов А. М. Система автоматического синтеза комбинационных схем СИНТЕЗ-Ф / / Управляющие системы и машины. 1991. №1. С. 3-9.
Автоматизация проектирования цифровых устройств / под ред. С. С. Бадулина. М.: Радио и связь, 1981. 238 с.
Синтез асинхронных автоматов на ЭВМ / под ред. А. Д. Закревского. Минск: Наука и техника, 1975. 184 с.
Закревский А. Д., Торопов Н. Р. Система программирования ЛЯПАС-М. Минск: Наука и техника, 1978. 240 с.
Закревский А. Д. Язык программирования ЛЯПАС-М / / Вычислительная техника в машиностроении. Минск: Ин-т техн. кибернетики АН БССР, 1974. С. 99-111.
Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971. 512 с.
Труды Сибирского физико-технического института. Вып. 48. Автоматизация синтеза дискретных автоматов. Томск: Изд-во Том. ун-та, 1966.
Логический язык для представления алгоритмов синтеза релейных устройств / под ред. М.А. Гаврилова. М.: Наука, 1966. 342 с.
Закревский А. Д. Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск: Изд-во Том. ун-та, 1966. 266 с.
To reanimation of Russian programming language | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2012. № 3(17).
Download full-text version
Download fileCounter downloads: 248