3.1 A Core Calculus for Disentangle

3.1 A Core Calculus for Disentanglement
Abstract syntax. Figure 4 shows the syntax of the language HP.
The types include natural numbers (as the sole base type), functions
and products. To present a precise accounting of memory operations,
we distinguish between large values v, which are always
allocated in the heap, and small values consisting only of memory
locations, written `. Large values include natural numbers, named
recursive functions and pairs of heap locations. Large values are not
irreducible, but rather step to heap locations `, which are the only
irreducible values of the language. Since small values consist only
of locations, we use the term “value” to refer to a large value and
“location” to refer to a small value.

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

3.1 เป็นหลักแคลคูลัสสำหรับ Disentanglementบทคัดย่อไวยากรณ์ รูปที่ 4 แสดงไวยากรณ์ของภาษา HPประเภทได้แก่เลข (เป็นแต่เพียงผู้เดียวชนิดพื้นฐาน), ฟังก์ชั่นและผลิตภัณฑ์ แสดงบัญชีที่แม่นยำของหน่วยความจำเราแยกความแตกต่างระหว่างค่าขนาดใหญ่ v ซึ่งมักปันส่วนฮีป และค่าขนาดเล็กที่ประกอบด้วยหน่วยความจำเท่านั้นสถาน เขียน ' ค่าขนาดใหญ่ได้แก่เลข ชื่อฟังก์ชันและคู่ของฮีปที่ตั้ง ค่าของขนาดใหญ่อย่างต่ำ แต่ขั้นตอนค่อนข้างกองสถานที่ ', ซึ่งมีเฉพาะค่าอย่างต่ำของภาษา เนื่องจากค่าขนาดเล็กประกอบด้วยเท่านั้นสถานที่ เราใช้คำว่า "ค่า" ในการอ้างถึงค่าขนาดใหญ่ และ"ทำเล" ในการอ้างถึงค่าขนาดเล็ก

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

3.1 หลักแคลคูลัสสำหรับคลี่คลาย
ไวยากรณ์บทคัดย่อ รูปที่ 4 แสดงไวยากรณ์ของภาษา? HP.
ประเภท ได้แก่ หมายเลขธรรมชาติ (เป็นพิมพ์ฐาน แต่เพียงผู้เดียว) ฟังก์ชั่น
และผลิตภัณฑ์ ที่จะนำเสนอบัญชีที่ถูกต้องของการดำเนินงานหน่วยความจำ
ที่เราแยกความแตกต่างระหว่างค่าขนาดใหญ่ V ซึ่งมักจะ
ได้รับการจัดสรรในกองและค่าขนาดเล็กประกอบด้วยเฉพาะของหน่วยความจำ
สถานที่เขียน ` ค่าขนาดใหญ่ ได้แก่ หมายเลขธรรมชาติชื่อ
recursive ฟังก์ชันและคู่ของสถานที่กอง ค่าขนาดใหญ่ไม่ได้
ลดลง แต่ก้าวไปยังสถานที่กอง `ซึ่งเป็นเพียง
ค่าลดลงของภาษา ตั้งแต่ค่าขนาดเล็กมีเพียง
สถานที่ที่เราจะใช้คำว่า "ค่า" เพื่ออ้างถึงมูลค่าที่มีขนาดใหญ่และ
"สถานที่" ในการอ้างถึงค่าขนาดเล็ก

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

3.1 หลักแคลคูลัสสำหรับบนบานรูปแบบนามธรรม รูปที่ 4 แสดงไวยากรณ์ของภาษา HPชนิด ได้แก่ ธรรมชาติ ( เป็นพิมพ์ฐานอย่างเดียว ) , ฟังก์ชันและผลิตภัณฑ์ เสนอบัญชีที่แม่นยำของการดำเนินงานหน่วยความจำเราแยกแยะระหว่างขนาดใหญ่ ค่า V ซึ่งเป็นเสมอที่จัดสรรในกอง และค่าของหน่วยความจำขนาดเล็กประกอบด้วยสถานที่เขียน " ค่าขนาดใหญ่รวมถึงตัวเลขธรรมชาติ ที่ชื่อฟังก์ชัน recursive และคู่ของ กองสถาน ค่าขนาดใหญ่ไม่ได้ไม่สามารถลดได้ แต่ขั้นตอนที่กองสถานที่ ` ซึ่งเป็นเพียงลดคุณค่าของภาษา ตั้งแต่เล็ก มีเพียงค่าสถานที่ที่เราใช้คำว่า " ค่า " เพื่อดูขนาดใหญ่ค่า" สถานที่ " หมายถึงค่าขนาดเล็ก