IFP addresses the synthesis of recu

IFP addresses the synthesis of recursive functional pro- grams generalized from regularities detected in (traces of) input/output ex- amples19,41 using generate-and-test ap- proaches based on evolutionary27,34,35 or systematic16,28 search or data-driven
6,11,17,23,38 analytical approaches.

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

IFP เน้นสร้างซ้ำทำ pro-กรัมตั้งค่าทั่วไปจาก regularities ที่ตรวจพบใน (ร่องรอยของ) อินพุต/เอาท์พุต ex-amples19, 41 ที่ใช้สร้าง และทดสอบ ap-proaches evolutionary27, 34, 35 หรือ systematic16, 28 ค้นหา หรือปรับ ปรุงข้อมูล6,11,17,23,38 วิเคราะห์แนวทางการ

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

IFP อยู่สังเคราะห์กรัมโปร recursive ทำงานทั่วไปจากแบบแผนที่ตรวจพบใน (ร่องรอยของ) อินพุต / เอาต์พุตอดีต amples19,41 ใช้ proaches สร้างและทดสอบชั่นขึ้นอยู่กับ evolutionary27,34,35 หรือค้นหา systematic16,28 หรือข้อมูล ขับเคลื่อน
6,11,17,23,38 วิธีการวิเคราะห์

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

โดยเน้นการสังเคราะห์ recursive การทำงาน Pro - กรัมทั่วไปจากเกี่ยวกับตรวจ ( ร่องรอย ) อินพุต / เอาต์พุต อดีต amples19,41 ใช้สร้างและทดสอบ AP - proaches ตาม evolutionary27,34,35 หรือ systematic16,28 ค้นหาหรือ -
6,11,17,23,38 วิเคราะห์แนว