We also list, in Figure 4, the proo

We also list, in Figure 4, the proof rules which define the reduction relation itself. For
the most part, these rules are reasonably straightforward. Two points of interest are:
– In the rule for generating new objects, the new object is always stored within the
same package as the class it is instantiating.
– The result of a method call is to inline the method body E, say, within the current
evaluation context. Note that before doing this E is wrapped with the coercion
E in p where p is the package of the receiver. This facilitates type-safe embedding
of external code within a package at runtime.

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

เรายังรายการ ในรูป 4 หลักฐานกฎซึ่งกำหนดความสัมพันธ์ลดเอง สำหรับส่วนใหญ่ กฎเหล่านี้มีเหตุผลตรงไปตรงมา สองจุดน่าสนใจคือ:– กฎสำหรับการสร้างวัตถุใหม่ วัตถุใหม่เสมอเก็บภายในแพคเกจที่เดียวกันเป็นชั้นมันจะถึงด่วน– ผลของการเรียกวิธีอยู่ในแนวเดียวกันร่างกายวิธี E พูด ปัจจุบันการประเมินบริบท หมายเหตุว่า ก่อนทำ E นี้จะถูกห่อ ด้วยการข่มขู่E ใน p โดยที่ p คือ แพคเกจของตัวรับสัญญาณ ช่วยให้ปลอดภัยชนิดฝังของรหัสภายนอกภายในแพคเกจที่รันไทม์

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

นอกจากนี้เรายังรายการในรูปที่ 4 กฎหลักฐานที่กำหนดความสัมพันธ์ของตัวเองลดลง สำหรับ
ส่วนใหญ่, กฎเหล่านี้จะตรงไปตรงมาพอสมควร สองจุดที่น่าสนใจมีดังนี้:
- ในกฎสำหรับการสร้างวัตถุใหม่วัตถุใหม่จะถูกเก็บไว้เสมอใน
แพคเกจเดียวกับชั้นมันเป็นอินสแตนซ์.
- ผลของการเรียกวิธีคือการ inline วิธีร่างกาย E, พูด, ภายใน ปัจจุบัน
บริบทการประเมินผล โปรดทราบว่าก่อนที่จะทำ E นี่เป็นห่อด้วยการบังคับขู่เข็ญ
อีใน P ที่ P เป็นแพคเกจของผู้รับ นี้อำนวยความสะดวกการฝังชนิดปลอดภัย
ของรหัสภายนอกภายในแพคเกจที่รันไทม์

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

เรายังมีรายการในรูปที่ 4 , พิสูจน์กฎซึ่งกำหนดความสัมพันธ์ลดลงนั่นเอง สำหรับส่วนใหญ่ กฎเหล่านี้จะตรงไปตรงมาพอสมควร สนใจ 2 จุดคือสำหรับกฎสำหรับการสร้างวัตถุใหม่ เป้าหมายใหม่อยู่เสมอถูกเก็บไว้ภายในแพคเกจเดียวกับชั้นมัน instantiating .และผลของวิธีเรียกคือแทรกวิธีร่างกายอี กล่าวว่า ภายในปัจจุบันการประเมินบริบท . ทราบว่าก่อนที่จะทำเช่นนี้และห่อด้วยการบังคับและ P โดยที่ P เป็นแพคเกจของผู้รับ นี้อำนวยความสะดวกในการฝังแบบปลอดภัยรหัสภายนอกภายในแพคเกจที่รันไทม์