v2, then v1 can also point to h. Ru

v2, then v1 can also point to h. Rule 3 models the effect of store instructions on the
heap. Given a statement v1.f = v2, if v1 can point to h1 and v2 can point to h2, then
h1.f can point to h2. Rule 4 resolves load instructions. Given a statement v2 = v1.f, if
v1 can point to h1 and h1.f can point to h2, then v2 can point to h2.

Kết quả (Việt) 1:

v2, sau đó v1 có thể cũng chỉ h. quy tắc 3 mô hình ảnh hưởng của hướng dẫn lưu trữ trên cácđống. Đưa ra một tuyên bố v1.f = v2, nếu v1 có thể trỏ đến h1 và v2 có thể trỏ đến h2, sau đóH1.f có thể trỏ đến h2. Quy tắc 4 giải quyết hướng dẫn tải. Đưa ra một tuyên bố v2 = v1.f, nếuv1 có thể trỏ đến h1 và h1.f có thể trỏ đến h2 thì v2 có thể trỏ đến h2.

Kết quả (Việt) 2:

v2, sau đó v1 cũng có thể trỏ đến h. Quy tắc 3 mô hình hiệu quả của hướng dẫn lưu trữ trên
heap. Với một tuyên bố v1.f = v2, nếu v1 có thể trỏ đến h1 và v2 có thể trỏ đến h2, sau đó
h1.f có thể trỏ đến h2. Quy tắc 4 giải quyết hướng dẫn tải. Với một tuyên bố v2 = v1.f, nếu
v1 có thể trỏ đến h1 và h1.f có thể trỏ đến h2, sau đó v2 có thể trỏ đến h2.