Mariya S. Kropacheva

According to our database, Mariya S. Kropacheva authored at least 3 papers in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Tail recursion transformation in functional dataflow parallel programs.

Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva

Autom. Control. Comput. Sci., 2013

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

Mariya S. Kropacheva, Alexander I. Legalov

Autom. Control. Comput. Sci., 2013

Formal Verification of Programs in the Pifagor Language.

Mariya S. Kropacheva, Alexander I. Legalov

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013