Based on the semantics, we prove th

Based on the semantics, we prove that the disentanglement
property holds on programs written in our language, and that the
garbage collector is correct (memory safe and meaning-preserving).

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

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

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

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

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

ตามความหมาย เราพิสูจน์ว่า บนบานคุณสมบัติจบในโปรแกรมเขียนในภาษาของเรา และว่าเก็บขยะให้ถูกต้อง ( ปลอดภัยและรักษาความหมาย )