Programming language LYaPAS

N. R. Toropov

Prikladnaâ diskretnaâ matematika, no. 2 (2009), pp. 9-25.

Résumé

The history of creating the algorithmic language LYaPAS is told. The characteristic peculiarities of the language and its realizing systems for various types of computers are in short described. The main stages of the language development and its spreading are demonstrated. The possibility of an effective LYaPAS using for creating program systems blocks and even compiler are shown. The examples of packets applied programs and systems created on the LYaPAS base are given.

Bibliographie

[1] Backus J. W., Beeber R. J. and other, “The FORTRAN automatic coding system”, Proc. Of the Western Joint Computer Conference (Los Angeles, Calif., February 1957), 188–198

[2] Lyapunov A. A., “O logicheskikh skhemakh programm”, Problemy kibernetiki, 1, Fizmatgiz, M., 1958, 46–74

[3] Arkhangelskii A. A., Lazarev V. G., Roginskii V. N., “Mashina dlya sinteza kontaktnykh skhem”, Problemy peredachi informatsii, 1, Izd-vo AN SSSR, M., 1959, 41–52

[4] Gavrilov M. A., “Minimizatsiya bulevykh funktsii, kharakterizuyuschikh releinye tsepi”, Avtomatika i telemekhanika, 1959, no. 9, 1217–1238

[5] Zakrevskii A. D., “Vizualno-matrichnyi metod minimizatsii bulevykh funktsii”, Avtomatika i telemekhanika, 21:3 (1960), 369–373 | MR

[6] Bekus Dzh. V. i dr., “Soobschenie ob algoritmicheskom yazyke Algol-60”, ZhVM i MF, 1:2 (1961), 308–342

[7] Zakrevskii A. D., “Formalizatsiya sinteza elektronnoi tsifrovoi vychislitelnoi mashiny”, Vychislitelnaya tekhnika. Avtomatika, teoriya informatsii, Izd-vo Tom. un-ta, Tomsk, 1961, 64–72

[8] Zakrevskii A. D., “K sintezu posledovatelnostnykh avtomatov”, Trudy SFTI, 40., Izd-vo Tom. un-ta, Tomsk, 1961, 73–88

[9] Iverson K. E., A programming language, Wiley, New York, 1962 | MR | Zbl

[10] Butakov E. A., Zakrevskii A. D., “Minimizatsiya chisla sostoyanii releinoi skhemy na universalnoi vychislitelnoi mashine ‘Ural-1’ ”, Problemy peredachi informatsii, 11, Izd-vo AN SSSR, M., 1962, 66–76

[11] Timofeev B. L., “Mashina dlya minimizatsii bulevykh funktsii”, Strukturnaya teoriya releinykh ustroistv, Izd-vo AN SSSR, M., 1963, 242–249

[12] Yuschenko E. L., Adresnoe programmirovanie, GTI USSZ, Kiev, 1963

[13] Zakrewskij A. D., “On conference papers by S. Waligorskij and A. Stogny”, Relay systems and finite automata, Translated proceedings, Burrough Corp., 1964, 33–34

[14] Zakrevskii A. D., “LYaPAS – logicheskii yazyk predstavleniya algoritmov sinteza”, Teoriya avtomatov, IK AN USSR, Kiev, 1964, 3–29

[15] 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

[16] Ershov A. P., Kozhukhin G. I., Pottosin I. V., “Obzor osobennostei ALFA-yazyka”, ALFA – sistema avtomatizatsii programmirovaniya, ed. A. P. Ershov, RIO SO AN SSSR, Novosibirsk, 1965, 14–30

[17] Zakrevskii A. D., “Pervyi uroven yazyka LYaPAS”, Trudy SFTI, 48, Izd-vo Tom. un-ta, Tomsk, 1966, 12–22

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

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

[20] Tovshtein M. Ya., “Translyator dlya bystrodeistvuyuschikh UTsVM”, Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, ed. M. A. Gavrilov, Nauka, M., 1966, 52–69

[21] Toropov N. R., “Translyator dlya mashiny URAL-1”, Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, ed. M. A. Gavrilov, Nauka, M., 1966, 99–126

[22] Zakrevskii A. D., Tovshtein M. Ya., Toropov N. R., “Programmiruyuschaya sistema PS-LYaPAS”, Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, ed. M. A. Gavrilov, Nauka, M., 1966, 47–51

[23] Zakrevskii A. D., “Otladka L-programm na mashine ‘Ural-1’ ”, Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, ed. M. A. Gavrilov, Nauka, M., 1966, 79–90

[24] Usacheva N. A., “Poisk sintaksicheskikh oshibok v L-programmakh”, Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, ed. M. A. Gavrilov, Nauka, M., 1966, 75–78

[25] Zakrevskii A. D., “Kompilyator LYaPASa”, Logicheskii yazyk dlya predstavleniya algoritmov sinteza releinykh ustroistv, ed. M. A. Gavrilov, Nauka, M., 1966, 70–74

[26] Bykova S. V., Vorobev V. A., Zakrevskii A. D., “Biblioteka podprogramm sistemy LYaPAS”, Dokl. Vsesoyuzn. kollokviuma po avtomatizatsii sinteza diskretnykh vychislitelnykh ustroistv, SO AN SSSR, Novosibirsk, 1966, 4–10

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

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

[29] Nadler N., “User Group for Russian Programming Language”, IEEE, Newsletter for Computer-Aided Design, 1971, no. 3, may/june

[30] Usacheva N. A., Sistema avtomaticheskogo programmirovaniya s yazykom LYaPAS dlya EVM “Minsk-22”, rabotayuschei v rezhime T, VNTITs, M., 1971, 151 pp.

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

[32] Zakrevskii A. D., Belousova N. A., Zhirova L. P. i dr., “Programmiruyuschaya sistema LYaPAS-71”, Sistemnoe programmirovanie, Materialy Vses. simp., Ch. 2 (mart 1973), Novosibirsk, 1973, 84–95

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

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

[35] Zakrevskii A. D., “Soobschenie o shkole-seminare, posvyaschennoi rassmotreniyu sistemy LYaPAS-71 (Tomsk, 1972)”, Voprosy kibernetiki. Teoriya releinykh ustroistv i konechnykh avtomatov, VINITI, M., 1975, 35–37

[36] Tomashev V. F., “Otladochnaya interpretiruyuschaya shagovaya trassirovochnaya programma dlya yazyka LYaPAS-M”, Upravlyayuschie sistemy i mashiny, 1975, no. 1, 29–31

[37] Zakrevskii A. D., Balaklei L. I., Eliseeva N. A. i dr., Sintez asinkhronnykh avtomatov na EVM, Nauka i tekhnika, Minsk, 1975, 184 pp.

[38] Zakrevskii A. D., Polyakov A. S., “O povyshenii kachestva mashinnykh programm putem optimizatsii ispolzovaniya registrov”, Upravlyayuschie sistemy i mashiny, 1976, no. 6, 105–111

[39] Zakrevskii A. D., Toropov N. R., “Programmnoe obespechenie razrabotki dialogovoi sistemy logicheskogo sinteza”, Diskretnye sistemy, t. 1, Drezden, 1977, 164–173

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

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

[42] Romanov V. I., Toropov N. R., “Organizatsiya informatsionnogo obmena v DISMO”, Vychislitelnaya tekhnika v mashinostroenii, 1, In-t tekhn. kibernetiki AN BSSR, Minsk, 1979, 122–128

[43] Toropov N. R., “Organizatsiya vzaimodeistviya monitorov v DISMO”, Vychislitelnaya tekhnika v mashinostroenii, 1, In-t tekhn. kibernetiki AN BSSR, Minsk, 1979, 129–135

[44] Bykova S. V., Golovchiner M. N., “Instruktsiya k polzovaniyu sistemoi programmirovaniya LYaPAS-M dlya ES EVM”, Algoritmy resheniya zadach diskretnoi matematiki, Izd-vo Tom. un-ta, Tomsk, 1979, 4–13

[45] Zakrevskii A. D., “O pakete programm LOGIKA-I”, Algoritmy resheniya logiko-kombinatornykh zadach, 5, In-t tekhn. kibernetiki AN BSSR, Minsk, 1979, 3–9

[46] Tomashev V. F., “Ob opyte razrabotki, razvertyvaniya i testirovaniya translyatora i sistemy LYaPAS-M”, Avtomatizatsiya logicheskogo proektirovaniya diskretnykh ustroistv, 2, In-t tekhn. kibernetiki AN BSSR, Minsk, 1980, 127–134

[47] Toropov N. R., “Sistema programmirovaniya LYaPAS-M v ramkakh OS ES EVM”, Avtomatizatsiya logicheskogo proektirovaniya diskretnykh ustroistv, 2, In-t tekhn. kibernetiki AN BSSR, Minsk, 1980, 99–104

[48] Toropov N. R., “Unifikatsiya dialogovykh yazykov v sisteme LES”, Avtomatizatsiya logicheskogo proektirovaniya diskretnykh ustroistv, 2, In-t tekhn. kibernetiki AN BSSR, Minsk, 1980, 105–110

[49] Romanov V. I., “O sovmestimosti yazyka LYaPAS-M s drugimi yazykami programmirovaniya”, Avtomatizatsiya logicheskogo proektirovaniya diskretnykh ustroistv, 2, In-t tekhn. kibernetiki AN BSSR, Minsk, 1980, 121–126

[50] Romanov V. I., Toropov N. R., “Prostoi sposob planirovaniya v dialogovykh sistemakh”, Materialy seminara “Dialog v avtomatizirovannykh sistemakh”, M., 1981, 126–134

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

[52] Toropov N. R., “Kompleksnaya otladka programm na yazyke LYaPAS-M”, Upravlyayuschie sistemy i mashiny, 1981, no. 2, 91–101

[53] Toropov N. R., “Dinamicheskaya segmentatsiya v programmiruyuschei sisteme LYaPAS-M”, Upravlyayuschie sistemy i mashiny, 1981, no. 3, 67–70

[54] Pogartsev A. G., Utkin A. A., “Eksperimentalnaya dialogovaya sistema EDA”, Avtomatizatsiya analiza i modelirovaniya logicheskikh setei, In-t tekhn. kibernetiki AN BSSR, Minsk, 1981, 17–30

[55] Enin S. V., Vasilenok V. K., “Struktura i printsipy postroeniya dialogovoi sistemy DIMOD-1 dlya modelirovaniya diskretnykh ustroistv s neispravnostyami”, Avtomatizatsiya analiza i modelirovaniya logicheskikh setei, In-t tekhn. kibernetiki AN BSSR, Minsk, 1981, 129–137

[56] Cheremisinov D. I., “Instrumentalnyi kompleks dlya razrabotki programmnogo obespecheniya mikroprotsessorov”, Upravlyayuschie sistemy i mashiny, 1981, no. 5, 68–71

[57] Tomashev V. F., Mobilnyi LYaPAS-M – translyator (variant dlya BESM-6), In-t tekhn. kibernetiki AN BSSR, Minsk, 1982, 105 pp.

[58] Zakrevskii A. D., Enin S. V., Pottosin Yu. V., “Dialogovyi paket programm dlya avtomatizatsii logicheskogo proektirovaniya diskretnykh ustroistv”, Avtomatizatsiya proektirovaniya sistem upravleniya, 4, Finansy i statistika, M., 1982, 29–40

[59] Belousova N. A., “Translyator s algoritmicheskogo yazyka LYaPAS-M dlya ES EVM”, Avtomatizatsiya programmirovaniya na baze yazyka LYaPAS-M, In-t tekhn. kibernetiki AN BSSR, Minsk, 1983, 94–111

[60] Polyakov A. S., “Sintaksicheskii kontrol programm v sisteme LES”, Avtomatizatsiya programmirovaniya na baze yazyka LYaPAS-M, In-t tekhn. kibernetiki AN BSSR, Minsk, 1983, 73–80

[61] Kirienko N. A., “Optimiziruyuschii translyator s yazyka LYaPAS-M dlya ES EVM”, Avtomatizatsiya programmirovaniya na baze yazyka LYaPAS-M, In-t tekhn. kibernetiki AN BSSR, Minsk, 1983, 81–93

[62] Romanov V. I., “M-kompilyatsiya v sisteme programmirovaniya LES”, Avtomatizatsiya programmirovaniya na baze yazyka LYaPAS-M, In-t tekhn. kibernetiki AN BSSR, Minsk, 1983, 62–72

[63] Romanov V. I., “Ispolzovanie LYaPAS-M–programm iz programm na drugikh yazykakh programmirovaniya”, Avtomatizatsiya programmirovaniya na baze yazyka LYaPAS-M, In-t tekhn. kibernetiki AN BSSR, Minsk, 1983, 119–126

[64] Cheremisinov D. I., “Translyator yazyka regulyarnykh vyrazhenii”, Avtomatizatsiya programmirovaniya na baze yazyka LYaPAS-M, In-t tekhn. kibernetiki AN BSSR, Minsk, 1983, 127–134

[65] Bykova S. V., Golovchiner M. N., Zhukovskii O. I. i dr., “TOMLES – sistema programmirovaniya s bazovym yazykom LYaPAS-M dlya ES EVM”, Programmirovanie, 1984, no. 5, 56–63

[66] Toropov N. R., Romanov V. I., Sistema programmirovaniya LES 4, instruktsionno-metodicheskie materialy, In-t tekhn. kibernetiki AN BSSR, Minsk, 1984, 134 pp.

[67] Zakrevskii A. D., Bibilo P. N., Dudkin A. A., Shneider A. A., “Paket programm dlya resheniya kombinatornykh zadach nad bulevymi i troichnymi matritsami”, Upravlyayuschie sistemy i mashiny, 1984, no. 3, 115–118

[68] Toropov N. R., Dialogovaya sistema programmirovaniya LES, Nauka i tekhnika, Minsk, 1985, 263 pp.

[69] Toropov N. R., “Dialogovoe programmirovanie v yazyke LYaPAS-M”, Kibernetika, 1986, no. 1, 25–30

[70] Toropov N. R., “ ‘Uborka musora’ v sisteme LES”, Proektirovanie sistem logicheskogo proektirovaniya, In-t tekhn. kibernetiki AN BSSR, Minsk, 1986, 91–96

[71] Toropov N. R., Dinamicheskaya segmentatsiya dannykh v sisteme LES, Preprint No 24, In-t tekhn. kibernetiki AN BSSR, Minsk, 1987, 12 pp.

[72] Zakrevskii A. D., Vasilenok V. K., Cheremisinov D. I., Cheremisinova L. D., “Sistema Logika-M sinteza upravlyayuschikh ustroistv v bazise PLM i mikroprotsessorov”, Upravlyayuschie sistemy i mashiny, 1987, no. 3, 31–35

[73] Belousova N. A., Pitosin V. T., “Realizatsiya LYaPAS-M na SM EVM”, Programmirovanie, 1988, no. 4, 106–108

[74] Toropov N. R., Diagnostika programm v rezhime mikrodialoga, Preprint No 12, In-t tekhn. kibernetiki AN BSSR, Minsk, 1988, 16 pp.

[75] Cheremisinova L. D., Vasilenok V. K., Zheludko E. V., Krasilnikova L. V., Sistema logicheskogo sinteza ustroistv upravleniya na baze programmiruemykh kontrollerov, In-t tekhn. kibernetiki AN BSSR, Minsk, 1988, 100 pp.

[76] Dudkin A. A., Pottosin Yu. V., Sinichka A. A., Cheremisinova L. D., Kompleks programm sinteza kombinatsionnykh skhem v bazise PLM i MLV, In-t tekhn. kibernetiki AN BSSR, Minsk, 1988, 68 pp.

[77] Toropov N. R., Shestakov E. A., Instrumentalnaya sistema logicheskogo proektirovaniya, In-t tekhn. kibernetiki AN BSSR, Minsk, 1989, 70 pp.

[78] Toropov N. R., Romanov V. I., Kirienko N. A. i dr., Sistema programmirovaniya LES-7, In-t tekhn. kibernetiki AN BSSR, Minsk, 1990, 64 pp.

[79] Tomashev V. F., “Perenos LYaPAS-M–predtranslyatora s ES EVM na ES 1840”, Avtomatizatsiya logicheskogo proektirovaniya diskretnykh ustroistv, In-t tekhn. kibernetiki AN BSSR, Minsk, 1991, 63–71

[80] Zakrevskii A. D., Toropov N. R., “Proektirovanie sistem logicheskogo upravleniya”, Fundamentalnye i poiskovye issledovaniya v interesakh oborony strany, 73–74, Ministerstvo oborony SSSR, M., 1991, 36–43

[81] Toropov N. R., “Organizatsiya dialoga cherez ierarkhiyu vlozhennykh menyu v ISAPR”, Avtomatizatsiya logicheskogo proektirovaniya diskretnykh sistem, In-t tekhn. kibernetiki AN BSSR, Minsk, 1991, 81–95

[82] Toropov N. R., “Formirovanie sostavnykh proektnykh operatsii v ISAPR”, Formalizatsiya i avtomatizatsiya logicheskogo proektirovaniya, In-t tekhn. kibernetiki NAN Belarusi, Minsk, 1993, 193–146

[83] Toropov N. R., Issledovatelskaya SAPR diskretnykh upravlyayuschikh ustroistv, Materialy po matematicheskomu obespecheniyu EVM, In-t tekhn. kibernetiki NAN Belarusi, Minsk, 1994, 60 pp.

[84] Toropov N. R., Trenazher resheniya logicheskikh zadach metodom kombinatornogo poiska, Preprint No 22, In-t tekhn. kibernetiki NAN Belarusi, Minsk, 1994, 16 pp.

[85] Pospelov D. A., “Shkola MAGa”, Novosti iskusstvennogo intellekta, 1997, no. 3, 80–130

[86] Romanov V. I., Vasilkova I. V., “Bulevy vektory i matritsy v S++”, Logicheskoe proektirovanie, 2, In-t tekhn. kibernetiki NAN Belarusi, Minsk, 1998, 150–158

[87] Cheremisinov D. I., Cheremisinova L. D., “Troichnye vektory i matritsy”, Logicheskoe proektirovanie, 3, In-t tekhn. kibernetiki NAN Belarusi, Minsk, 1998, 146–155

[88] Zakrevskii A. D., Toropov N. R., Polinomialnaya realizatsiya chastichnykh bulevykh funktsii i sistem, In-t tekhn. kibernetiki NAN Belarusi, Minsk, 2001, 200 pp.