7. ConclusionThis paper presents a

7. Conclusion
This paper presents a memory management technique for parallel
functional programs that is based on the general strategy of closely
coupling the structure of the memory with that of the computation.
As we show, such close coupling enables using the invariants of the
semantics of the language, such as the disentanglement property, in
managing memory.

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

7. บทสรุปบทความนี้นำเสนอเทคนิคการจัดการหน่วยความจำสำหรับขนานโปรแกรมทำงานตามกลยุทธ์ทั่วไปของอย่างใกล้ชิดเชื่อมต่อโครงสร้างของหน่วยความจำกับที่ของการคำนวณในฐานะที่เราแสดง ปิดดังกล่าวเชื่อมต่อให้ใช้ invariants ของการความหมายของภาษา เช่นคุณสมบัติ disentanglement ในการจัดการหน่วยความจำ

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

7 . สรุปบทความนี้นำเสนอเทคนิคการจัดการหน่วยความจำสำหรับขนานการทำงานโปรแกรมที่อยู่บนพื้นฐานของกลยุทธ์ทั่วไปของอย่างใกล้ชิดการเชื่อมต่อโครงสร้างของหน่วยความจำกับของการคำนวณได้ขณะที่เราแสดง เช่นปิดการเชื่อมต่อช่วยให้ใช้ผลยืนยงของความหมายของภาษา เช่น บนบานที่ดิน ในการจัดการหน่วยความจำ