Kropacheva Mariya Sergeevna

Publications in Math-Net.Ru

1. Formal Verification of Programs in Functional Dataflow Parallel Language
   
   Model. Anal. Inform. Sist., 19:5 (2012),  81–99
2. Tail Recursion Transformation in Functional Dataflow Parallel Programs
   
   Model. Anal. Inform. Sist., 19:4 (2012),  48–58