(The full version of this DSL along

(The full version of this DSL along with its semantics is described in Le and Gulwani.)

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

(เวอร์ชันเต็มของ DSL นี้พร้อมกับความหมายอธิบายไว้ในเลอและ Gulwani)

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

(เวอร์ชันเต็มของ DSL นี้พร้อมกับความหมายของมันคือการอธิบายใน Le และ Gulwani.)

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

( เวอร์ชันเต็มของ DSL นี้พร้อมกับของความหมายและอธิบายไว้ใน เลอ gulwani )