Geodesic
To reanimation of Russian programming language
Prikladnaâ diskretnaâ matematika, no. 3 (2012), pp. 77-84.

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

An information is given about reanimation of the Russian programming language LYaPAS aimed at the elaboration of a trusted soft- and hardware for creating the secure computer systems of logic control.
Mots-clés : LYaPAS
Keywords: trusted software, trusted hardware, secure computer systems, logic control. 
@article{PDM_2012_3_a8,
     author = {G. P. Agibalov},
     title = {To reanimation of {Russian} programming language},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {77--84},
     publisher = {mathdoc},
     number = {3},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2012_3_a8/}
}
TY  - JOUR
AU  - G. P. Agibalov
TI  - To reanimation of Russian programming language
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2012
SP  - 77
EP  - 84
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2012_3_a8/
LA  - ru
ID  - PDM_2012_3_a8
ER  - 
%0 Journal Article
%A G. P. Agibalov
%T To reanimation of Russian programming language
%J Prikladnaâ diskretnaâ matematika
%D 2012
%P 77-84
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2012_3_a8/
%G ru
%F PDM_2012_3_a8
G. P. Agibalov. To reanimation of Russian programming language. Prikladnaâ diskretnaâ matematika, no. 3 (2012), pp. 77-84. http://geodesic.mathdoc.fr/item/PDM_2012_3_a8/

[1] Zakrevskii A. D., Algoritmicheskii yazyk LYaPAS i avtomatizatsiya sinteza diskretnykh avtomatov, Izd-vo Tom. un-ta, Tomsk, 1966, 266 pp.

[2] M. A. Gavrilov (red.), Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, Nauka, M., 1966, 342 pp.

[3] Avtomatizatsiya sinteza diskretnykh avtomatov, Trudy Sibirskogo fiziko-tekhnicheskogo instituta, 48, Izd-vo Tom. un-ta, Tomsk, 1966

[4] Zakrevskii A. D., Algoritmy sinteza diskretnykh avtomatov, Nauka, M., 1971, 512 pp. | MR | Zbl

[5] Zakrevskii A. D., “Yazyk programmirovaniya LYaPAS-M”, Vychislitelnaya tekhnika v mashinostroenii, In-t tekhn. kibernetiki AN BSSR, Minsk, 1974, 99–111

[6] Zakrevskii A. D., Toropov N. R., Sistema programmirovaniya LYaPAS-M, Nauka i tekhnika, Minsk, 1978, 240 pp. | MR

[7] A. D. Zakrevskii (red.), Sintez asinkhronnykh avtomatov na EVM, Nauka i tekhnika, Minsk, 1975, 184 pp. | MR | Zbl

[8] S. S. Badulin (red.), Avtomatizatsiya proektirovaniya tsifrovykh ustroistv, Radio i svyaz, M., 1981, 238 pp.

[9] Pankratova I. A., Bykova S. V., Nikolaeva S. V., Oranov A. M., “Sistema avtomaticheskogo sinteza kombinatsionnykh skhem SINTEZ-F”, Upravlyayuschie sistemy i mashiny, 1991, no. 1, 3–9

[10] M. A. Gavrilov, A. D. Zakrevskii (ed.), LYaPAS: A programming language for logic and coding algorithms, Academic Press, New York–London, 1969, 475 pp. | Zbl

[11] Charles J., Albright Jr., An interpreter for the language LYaPAS, University of North Carolina at Chapel Hill, Department of Computer Science, 1974, 127 pp.

[12] Nadler N., “User Group for Russian Programming Language”, IEEE, Newsletter for Computer-Aided Design, 1971, no. 3 | MR

[13] Michalski A., Wiewiorowski T., Odra Ljapas, Computation-Centre Polish Academy of Sciences, Warszawa, 1970, 33 pp.

[14] Tratnik I., Seminar “Analiza in primerjava jezikov za podro'je digitalne tehnike”, Univerzav, Lljubljani, 1979, 63 pp.

[15] Toropov N. R., “Yazyk programmirovaniya LYaPAS”, Prikladnaya diskretnaya matematika, 2009, no. 2(4), 9–25

[16] Zakrevskii A. D., “Mashina dlya resheniya logicheskikh zadach tipa sinteza releinykh skhem”, Sintez releinykh ustroistv, Trudy Mezhdunar. simp. po teorii releinykh ustroistv i konechnykh avtomatov, Nauka, M., 1965, 346–356

[17] Solovëv V. V., Proektirovanie funktsionalnykh uzlov tsifrovykh sistem na programmiruemykh logicheskikh ustroistvakh, PK OOO Bestprint, Minsk, 1996, 252 pp.

[18] Zotov V. Yu., Proektirovanie tsifrovykh ustroistv na osnove PLIS firmy XILINX v SAPR WtbPACK ISE, Goryachaya liniya-Telekom, M., 2003

[19] Wollinger T., Guajardo J., Paar C., “Cryptography on FPGAs. State of the art implementations and attacks”, ACM Trans. on Embedded Computing Systems, 3:3 (2004), 534–574 | DOI