Abstract. We introduce an expressiv

Abstract. We introduce an expressive yet semantically clean core Java-like language,
Java Jr., and provide it with a formal operational semantics based on traces
of observable actions which represent interaction across package boundaries. A
detailed example based on the Observer Pattern is used to demonstrate the intuitive
character of the semantic model. We also show that our semantic trace equivalence
is fully-abstract with respect to a natural notion of testing equivalence for
object systems. This is the first such result for a full class-based OO-language
with inheritance.

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

บทคัดย่อ เราแนะนำไวน์ที่ยังไม่ ได้ถูกทำความสะอาดหลักภาษาเช่น JavaJava จูเนียร์ และให้ มีความหมายในการดำเนินงานอย่างเป็นทางการตามร่องรอยการกระทำที่สังเกตได้ ซึ่งแสดงถึงปฏิสัมพันธ์ข้ามขอบเขตของแพคเกจ Aตัวอย่างรายละเอียดตามรูปแบบการสังเกตการณ์ใช้เพื่อสาธิตการใช้งานง่ายอักขระของแบบจำลองทางตรรก เราแสดงที่เทียบเท่าของเราติดตามทางตรรกคือนามธรรมเกี่ยวกับความคิดเป็นธรรมชาติของการทดสอบเทียบเท่าสำหรับระบบวัตถุ นี้เป็นครั้งแรกผลนั้นเต็มตาม OO-ภาษาด้วยสิ่งที่สืบทอด

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

นามธรรม. เราแนะนำแกนภาษา Java เหมือนที่แสดงออกยังสะอาดความหมาย,
Java จูเนียร์และให้มันมีความหมายในการดำเนินงานอย่างเป็นทางการขึ้นอยู่กับร่องรอย
ของการกระทำที่สังเกตได้ซึ่งเป็นตัวแทนของการปฏิสัมพันธ์ข้ามขอบเขตของแพคเกจ
ตัวอย่างรายละเอียดขึ้นอยู่กับรูปแบบการสังเกตการณ์ที่ใช้ในการแสดงให้เห็นถึงการใช้งานง่าย
ตัวละครของรูปแบบความหมาย นอกจากนี้เรายังแสดงให้เห็นว่าความเท่าเทียมร่องรอยความหมายของเรา
เป็นอย่างนามธรรมที่เกี่ยวกับความคิดที่เป็นธรรมชาติของการทดสอบความเท่าเทียมกันสำหรับ
ระบบวัตถุ นี่คือผลดังกล่าวครั้งแรกสำหรับการเรียนตาม OO ภาษาเต็มรูปแบบ
ที่มีการถ่ายทอดทางพันธุกรรม