Formal Verification of Programs in the Pifagor Language

Συγγραφείς: Kropacheva, Mariya^Aff17, Legalov, Alexander^Aff17

Συνεισφορές: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Malyshkin, Victor, editor^Aff16

Πηγή: Parallel Computing Technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings. 7979:80-89

Formal Verification of Programs in Functional Dataflow Parallel Language

Συγγραφείς: M. S. Kropacheva, A. I. Legalov

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)

Θεματικοί όροι: функционально-потоковое параллельное программирование, functional data-flow parallel programming, язык программирования Пифагор, programs formal verification, 0202 electrical engineering, electronic engineering, information engineering, 1. No poverty, Information technology, 02 engineering and technology, pifagor programming language, T58.5-58.64, 16. Peace & justice, формальная верификация программ

Σύνδεσμος πρόσβασης: https://doaj.org/article/dd9fdfceeb8a46f7be88dedb37d581fe
https://doaj.org/article/c7afaf2cf8754edba232ba51bf635d67

Automation of Formal Verification of Programs in the Pifagor Language

Συγγραφείς: M. S. Ushakova, A. I. Legalov

Πηγή: Моделирование и анализ информационных систем, Vol 22, Iss 4, Pp 578-589 (2015)

Θεματικοί όροι: functional data-flow parallel programming, pifagor programming language, programs formal verification, toolkit for supporting formal verification, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/274; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Σύνδεσμος πρόσβασης: https://doaj.org/article/7cce091fb32e4c7798330e74ca07da96

СЕМАНТИКА ТИПОВ ДАННЫХ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ЯЗЫКА ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР

Συγγραφείς: УШАКОВА МАРИЯ СЕРГЕЕВНА

Θεματικοί όροι: АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ТИПОВ ДАННЫХ,ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР,AXIOMATIC SEMANTICS OF PROGRAM DATA TYPES,FUNCTIONAL DATA-FLOW PARALLEL PROGRAMMING,PIFAGOR PROGRAMMING LANGUAGE

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/semantika-tipov-dannyh-funktsionalno-potokovogo-yazyka-parallelnogo-programmirovaniya-pifagor
http://cyberleninka.ru/article_covers/16785968.png

Formal verification of programs in the functional data-flow parallel language

Συγγραφείς: Kropacheva, M. S., Legalov, A. I.

Πηγή: Automatic Control and Computer Sciences. December 2013 47(7):373-384

Семантика типов данных функционально-потокового языка параллельного программирования Пифагор

Πηγή: Образовательные ресурсы и технологии.

Θεματικοί όροι: АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ТИПОВ ДАННЫХ,ФУНКЦИОНАЛЬНО-ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ ПИФАГОР,AXIOMATIC SEMANTICS OF PROGRAM DATA TYPES,FUNCTIONAL DATA-FLOW PARALLEL PROGRAMMING,PIFAGOR PROGRAMMING LANGUAGE

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/16785968.png
http://cyberleninka.ru/article/n/semantika-tipov-dannyh-funktsionalno-potokovogo-yazyka-parallelnogo-programmirovaniya-pifagor

Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования

Συγγραφείς: 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

Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования ; A toolkit for supporting formal verification of programs in the functional data-flow parallel programming language

Συγγραφείς: Ушакова, М. С., Легалов, А. И., 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