In other words, we show that, for a

In other words, we show that, for a well-typed
program, a run using hierarchical heaps and a run using
conventional semantics either 1) produce the same result or 2) both
do not terminate.

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

ในคำอื่น ๆ การที่เราแสดงนั้น สำหรับพิมพ์ดีโปรแกรม การวิ่งที่ใช้ลำดับชั้น heaps และใช้งานความหมายทั่วไปอย่างใดอย่างหนึ่ง 1) ผลิตผลเดียวกันหรือ 2) ทั้งสองไม่สิ้นสุด

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

ในคำอื่น ๆ ที่เราแสดงให้เห็นว่าเป็นอย่างดีพิมพ์
โปรแกรมการทำงานโดยใช้กองลำดับชั้นและการทำงานที่ใช้
ความหมายธรรมดาทั้ง 1) สร้างผลลัพธ์ที่เหมือนกันหรือ 2) ทั้งสอง
ไม่ยุติ

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

ในคำอื่น ๆที่เราพบว่าสำหรับการพิมพ์โปรแกรมเรียกใช้กองลำดับชั้นและวิ่งโดยใช้ปกติความหมายทั้ง 1 ) ให้ผลลัพธ์เดียวกัน หรือ 2 ) ทั้งไม่ยุติ