-
1Academic Journal
Συγγραφείς: Ушакова, Мария Сергеевна, Легалов, Александр Иванович
Πηγή: Computational Mathematics and Software Engineering; Том 4, № 2 (2015); 58-70 ; Вычислительная математика и информатика; Том 4, № 2 (2015); 58-70 ; 2410-7034 ; 2305-9052
Θεματικοί όροι: функционально-потоковое параллельное программирование, язык программирования Пифагор, верификация программ, инструментальные средства для поддержки формальной верификации
Περιγραφή αρχείου: application/pdf
-
2Academic Journal
Συγγραφείς: M. S. Ushakova, A. I. Legalov, М. С. Ушакова, А. И. Легалов
Πηγή: Modeling and Analysis of Information Systems; Том 22, № 4 (2015); 578-589 ; Моделирование и анализ информационных систем; Том 22, № 4 (2015); 578-589 ; 2313-5417 ; 1818-1015
Θεματικοί όροι: инструментальные средства для поддержки формальной верификации, Pifagor programming language, programs formal verification, toolkit for supporting formal verification, язык программирования Пифагор, формальная верификация программ
Περιγραφή αρχείου: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/274/283; Nepomnyaschiy V. A., Ryakin O. M., Prikladnyie metodyi verifikatsii programm, Radio i svyaz, Moscow, 1988, 255 pp., [in Russian].; Hoare C. A. R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, 10:12 (1969), 576–585.; Floyd R. W., “Assigning meaning to programs”, Mathematical Aspects of Computer Science, ed. J. T. Schwartz, 1967, 19–32.; Barnett M., Chang B. Y. E., Deline R., et al., “Boogie: A Modular Reusable Verifier for Object-Oriented Programs”, LNCS, 4111, 2006, 364–387.; Nepomniaschy V. A., Anureev I. S., Atuchin M. M., “C Program Verification in SPECTRUM Multilanguage System”, Automatic Control and Computer Sciences, 45:7 (2011), 413–420.; Van den Berg J., Jacobs B., “The LOOP compiler for Java and JML”, LNCS, 2031, 2001, 299–312.; Ahrendt W., Baar T., Beckert B., “The KeY Tool”, Software and System Modeling, 4:1 (2005), 32–54.; Detlefs D., Nelson G., Saxe J. B., “Simplify: a theorem prover for program checking”, Journal of the ACM, 52:3 (2005), 365–473.; Owre S., Rajan S., Rushby J. M., “PVS: Combining Specification, Proof Checking, and Model Checking”, LNCS, 1102, 1996, 411–414.; Legalov A. I., “Funktsionalnyiy yazyik dlya sozdaniya arhitekturno-nezavisimyih parallelnyih programm”, Vyichislitelnyie tehnologii, 10:1 (2005), 71–89, [in Russian].; Legalov A. I., Kuzmin D. A., Kazakov F. A., “Na puti k perenosimyim parallelnyim programmam”, Otkryityie sistemyi, 5 (2003), 36–42, [in Russian].; Kropacheva M. S., Legalov A. I., “Formal Verification of Programs in the Functional Data-Flow Parallel Language”, Automatic Control and Computer Sciences, 47:7 (2013), 373–384.; Kropacheva M. S., Legalov A. I., “Formal Verification of Programs in the Pifagor Language”, Parallel Computing Technologies (PaCT-2013), 12th International Conference (September 30 - October 4, 2013. Saint-Petersburg, Russia), LNCS, 7979, 2013, 80–89.; Kropacheva M. S., “Formalizatsiya semantiki funktsionalno-potokovogo yazyika parallelnogo programmirovaniya Pifagor”, Problemyi informatizatsii regiona (PIR-2011): Materialyi XII Vserossiyskoy nauchno-prakticheskoy konferentsii (Krasnoyarsk, 22 – 23 noyabrya 2011), Publishing of the Siberian Federal University, Krasnoyarsk, 2011, 144–148, [in Russian].; The Seventeen Provers of the World, AI Systems, LNAI, 3600, ed. Wiedijk F., 2006, 169 pp.; Gordon M., Melham T., Introduction to HOL: a theorem proving environment for higher order logic, Cambridge University Press, 1993.; Bertot Y., Casteran P., Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions, Springer, 2004, 494 pp.; Nipkow T., Paulson L., Wenzel M., Isabelle/HOL — A Proof Assistant for Higher-Order Logic, LNCS, 2283, 2002, 205 pp.; Legalov A. I., Savchenko G. V., Vasilev V. S., “Sobyitiynaya model vyichisleniy, podderzhivayuschaya vyipolnenie funktsionalno-potokovyih parallelnyih programm”, Sistemyi. Metodyi. Tehnologii, 1:13 (2012), 113–119, [in Russian].; Matkovskiy I. V., “Parallelnaya sobyitiynaya mashina dlya funktsionalno-potokovogo yazyika “Pifagor””, Informatsionnyie i matematicheskie tehnologii v nauke i upravlenii: Sbornik trudov XVVII Baykalskoy Vserossiyskoy konferentsii s mezhdunarodnyim uchastiem (Irkutsk – Baykal, 30 iyunya – 9 iyulya 2012), 2, Publishing of the Melentiev Energy Systems Institute of Siberian Branch of the Russian Academy of Sciences, Irkutsk, 2012, 186–193, [in Russian]
-
3Academic Journal
Συγγραφείς: Ушакова, Мария, Легалов, Александр
Θεματικοί όροι: ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР, ВЕРИФИКАЦИЯ ПРОГРАММ, ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ДЛЯ ПОДДЕРЖКИ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ
Περιγραφή αρχείου: text/html
-
4Academic Journal
Συγγραφείς: Ushakova, M. S., Legalov, A. I.
Θεματικοί όροι: УДК 004.4, УДК 004.052.42, функционально-потоковое параллельное программирование, инструментальные средства для поддержки формальной верификации, functional data-flow parallel programming, язык программирования Пифагор, programs formal verification, toolkit for supporting formal verification, ГРНТИ 50.41, Pifagor programming language, верификация программ
Σύνδεσμος πρόσβασης: http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
-
5Academic Journal
Πηγή: Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика.
Περιγραφή αρχείου: text/html
-
6Academic Journal
Συγγραφείς: Ушакова, М. С., Легалов, А. И., Ushakova, M. S., Legalov, A. I.
Θεματικοί όροι: УДК 004.052.42, функционально-потоковое параллельное программирование, язык программирования Пифагор, верификация программ, инструментальные средства для поддержки формальной верификации, functional data-flow parallel programming, Pifagor programming language, programs formal verification, toolkit for supporting formal verification, УДК 004.4, ГРНТИ 50.41
Περιγραφή αρχείου: application/pdf
Relation: Вестник ЮУрГу. Серия Вычислительная математика и информатика; Bulletin of South Ural State University. Series 'Computational mathematics and software engineering"; Вычислительная математика и информатика;Том 4; http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
Διαθεσιμότητα: http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
