Also, they argue that the use of AO

Also, they argue that the use of AO drastically reduced the number of
contracts (e.g. precondition) and lines of code (LOC).

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

ยัง พวกเขาโต้แย้งว่า ใช้อ่าวลดจำนวนอย่างรวดเร็วสัญญา (เช่นเงื่อนไข) และบรรทัดของรหัส (ล็อค)

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

นอกจากนี้พวกเขายืนยันว่าการใช้ AO อย่างมากลดจำนวนของ
สัญญา (เช่นเงื่อนไข) และสายรหัส (LOC)

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

นอกจากนี้พวกเขายังยืนยันว่าใช้ของอ่าวลดลงอย่างมากจำนวน
สัญญา ( เช่นเงื่อนไข ) และสายรหัส ( loc )