نهج حسابي لتصميم مدققّي الأنواع

تُقدّم هذه الورقة نهجًا حسابيًا لتصميم مدققّي الأنواع، حيث يتم اشتقاقها من مواصفات سلوكية باستخدام المنطق المعادلاتي. يُبسّط المؤلفون الحسابات باستخدام نهج جبري قائم على دمج الطي، ويُحسّنونه أكثر باستخدام نهج قائم على القيود لحل وتكوين شروط دمج مسبقة. تُوضّح المنهجية بثلاثة أمثلة ذات تعقيد متزايد: لغة تعبير بسيطة، ولغة مع استثناءات، وإصدار من حساب لامدا.