Mariya S. Kropacheva

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Description Languages

Program Slicing

Top Venues

Autom. Control. Comput. Sci.

Publications

Alexander I. Legalov, O. V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva
Tail recursion transformation in functional dataflow parallel programs. Autom. Control. Comput. Sci. 47 (7) (2013)
Mariya S. Kropacheva, Alexander I. Legalov
Formal verification of programs in the functional data-flow parallel language. Autom. Control. Comput. Sci. 47 (7) (2013)
Mariya S. Kropacheva, Alexander I. Legalov
Formal Verification of Programs in the Pifagor Language. PaCT (2013)