Search Results - "data driven functional parallel programming"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Verification of Programs with Mutual Recursion in the Pifagor Language

    Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

    Published 2018-08-01
    Subjects: “…data driven functional parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Loop-invariant Optimization in the Pifagor Language

    Loop-invariant Optimization in the Pifagor Language by Vladimir S. Vasilev, Alexander I. Legalov

    Published 2018-08-01
    Subjects: “…data driven functional parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: