A task, H
e, consists of an expre

A task, H
e, consists of an expression e and a heap H. The
heap H serves as the portion of the memory that is private to the
expression e, i.e., H is visible only to the expression e (including
subexpressions of e). The reader may wonder why we introduce
tasks as a level of indirection in the syntax since they can take only
one form (H
e). When we formalize the memory manager, we will
introduce another form of task, and the separation will make the
presentation cleaner, so we adopt it now.

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

ประกอบด้วยงาน H e, e มีนิพจน์และฮีป H. การฮีป H ทำหน้าที่เป็นส่วนของหน่วยความจำที่เป็นส่วนตัวนิพจน์ e เช่น H เป็นมองเห็นได้เฉพาะอีนิพจน์ (รวมsubexpressions ของ e) ผู้อ่านอาจสงสัยว่า ทำไมเราแนะนำงานระดับของเปลี่ยนทิศในไวยากรณ์เนื่องจากพวกเขาสามารถใช้เท่านั้นรูปแบบหนึ่ง (H e) เมื่อตัวจัดการหน่วยความจำ formalize เรา เราจะแนะนำรูปแบบของงานอื่น และการแยกจะทำให้การทำความสะอาด เพื่อให้เรานำมันตอนนี้นำเสนอ

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

งาน, H? E, ประกอบด้วย E แสดงออกและเอชกอง
กอง H ทำหน้าที่เป็นส่วนหนึ่งของหน่วยความจำที่มีความเป็นส่วนตัวกับ
E แสดงออกเช่น H สามารถมองเห็นได้เท่านั้นที่จะแสดงออก E (รวมถึง
subexpressions ของ e) ผู้อ่านอาจสงสัยว่าทำไมเราแนะนำ
งานเป็นระดับของความร้ายในไวยากรณ์ตั้งแต่ที่พวกเขาสามารถใช้เวลาเพียง
หนึ่งรูปแบบ (H? E) เมื่อเราทำพิธีจัดการหน่วยความจำที่เราจะ
แนะนำรูปแบบของงานอื่นและการแยกจะทำให้การ
ทำความสะอาดที่นำเสนอเพื่อให้เรานำมาใช้ในขณะนี้

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

งาน h E ประกอบด้วยนิพจน์ E และกองซ.กอง H ซึ่งเป็นส่วนของหน่วยความจำที่เป็นส่วนบุคคลกับการแสดงออก E ( H จะมองเห็นได้เฉพาะการแสดงออก E ( รวมทั้งsubexpressions e ) ผู้อ่านอาจจะสงสัยว่าทำไมเราถึงแนะนำงานเป็นระดับของความไม่ตรงในไวยากรณ์ตั้งแต่พวกเขาสามารถใช้เวลาเพียงรูปแบบหนึ่ง ( H E ) เมื่อเราทำให้เป็นรูปเป็นร่างผู้จัดการหน่วยความจำ เราจะแนะนำอีกรูปแบบหนึ่งของงาน และการจะทำให้สะอาด การนำเสนอ เพื่อให้เราใช้มันแล้ว