Lập trình quy nạp
term_id: inductive_programming
Category: basic_concepts
Definition
Lập trình quy nạp, thường được gọi là Tổng hợp chương trình, liên quan đến việc tạo ra mã phần mềm dựa trên các đặc tả được cung cấp dưới dạng các cặp đầu vào - đầu ra thay vì các hướng dẫn tường minh. Hệ thống suy luận logic từ các ví dụ để xây dựng mã nguồn thực thi.
Summary
Một lĩnh vực của tổng hợp chương trình tự động tạo ra các chương trình máy tính từ các ví dụ đầu vào - đầu ra.
Key Concepts
- Tổng hợp chương trình
- Ví dụ đầu vào - đầu ra
- Mã hóa tự động
- Suy luận logic
Use Cases
- Công cụ hoàn thành mã (code completion)
- Tạo tập lệnh từ dữ liệu
- Trợ giúp lập trình giáo dục