Search Results - "pifagor programming language"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Tail Recursion Transformation in Functional Dataflow Parallel Programs

    Tail Recursion Transformation in Functional Dataflow Parallel Programs by A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

    Published 2015-02-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Formal Verification of Programs in Functional Dataflow Parallel Language

    Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

    Published 2015-03-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Automation of Formal Verification of Programs in the Pifagor Language

    Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

    Published 2015-08-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    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:
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    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:
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: