Generation

generate functionThu, 01 Jun 2023

{Pre: x = X, y = Y, z = Z} x, y, z := y, y + x + z, y + x {Post: x = Y, y = Y + X + Z, z = Y + X}

omputing

Questions about programming?Chat with your personal AI assistant