Showing 1 - 2 results of 2 for search 'Alexander I. Legalov', query time: 0.01s 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
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    C Language Extension to Support Procedural-Parametric Polymorphism

    C Language Extension to Support Procedural-Parametric Polymorphism by Alexander I. Legalov, Pavel V. Kosov

    Published 2023-04-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: