In the second approach, we introduc

In the second approach, we introduce the notion of lattice of dynamic program threads, called dynamic lattice, which defines the entire dynamic behavior of the executed program.

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

ในแนวทางที่สอง เรานำแนวคิดของโครงตาข่ายประกอบของหัวข้อโปรแกรมแบบไดนามิก เรียกแบบโครงตาข่ายประกอบ ซึ่งกำหนดพฤติกรรมแบบไดนามิกทั้งหมดของโปรแกรมดำเนินการ

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

ในแนวทางที่สองเราแนะนำความคิดของตาข่ายหัวข้อโปรแกรมแบบไดนามิกที่เรียกว่าตาข่ายแบบไดนามิกซึ่งกำหนดพฤติกรรมแบบไดนามิกทั้งหมดของโปรแกรมดำเนินการ

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

ในแบบที่สอง เราแนะนำความคิดของแลตทิซของโปรแกรมแบบไดนามิกหัวข้อ เรียกว่าแลตทิซแบบไดนามิกซึ่งกำหนดพฤติกรรมเชิงพลวัตรทั้งหมดของการโปรแกรม