DSpace Repository

Browsing by Subject "alias calculus"

Browsing by Subject "alias calculus"

Sort by: Order: Results:

  • ALIAS calculus for a simple imperative language 
    Shilov, N. V. (Nazarbayev University, 2014)
    This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory".