In Section 3.3, we make precise thi

In Section 3.3, we make precise this informal description of
garbage collection and establish its correctness by showing that
collection does not free rechable locations (memory safety) or alter
the behavior of the program (meaning preservation).

ผลลัพธ์ (ไทย) 1:

ส่วนที่ 3.3 เราทำแม่นยำคำอธิบายนี้อย่างไม่เป็นทางการรวบรวมขยะ และสร้างความถูกต้อง โดยแสดงให้เห็นว่าคอลเลกชันไม่ฟรีสถาน rechable (หน่วยความจำความปลอดภัย) หรือเปลี่ยนแปลงลักษณะการทำงานของโปรแกรม (ความหมายอนุรักษ์)

ผลลัพธ์ (ไทย) 2:

ในส่วน 3.3 เราทำให้แม่นยำคำอธิบายทางการของ
การเก็บขยะและสร้างความถูกต้องโดยการแสดงให้เห็นว่า
คอลเลกชันไม่ rechable สถานที่ไม่ฟรี (Safety หน่วยความจำ) หรือเปลี่ยนแปลง
ลักษณะการทำงานของ (การเก็บรักษาความหมาย) โปรแกรม

ผลลัพธ์ (ไทย) 3:

ในส่วน 3.3 , เราให้แม่นยํา รายละเอียดอย่างไม่เป็นทางการนี้เก็บขยะ และสร้างความถูกต้องของโดยการแสดงให้เห็นว่าคอลเลกชันไม่ ฟรีสถานที่ rechable ความปลอดภัย ( หน่วยความจำ ) หรือเปลี่ยนแปลงพฤติกรรมของโปรแกรมรักษาความหมาย )