יצירת קוד תחת אילוצים להנדסת תוכנה

הבחנה מעשית בין אילוצי דקדוק, אילוצי טיפוסים, גבולות שימור ובדיקות קבלה ברמת ההתנהגות עבור קוד שנוצר.

HTML: https://aogavrilov.com/he/research-notes/constrained-code-generation-software-engineering/

Markdown: https://aogavrilov.com/he/research-notes/constrained-code-generation-software-engineering/index.md