تتناول الورقة التحديات المتعلقة بالتفكير في البرامج الكمومية، مع التركيز بشكل خاص على قيود تقنيات التحقق الحالية للدارات الكمومية، التي تتطلب غالبًا موارد أسية. للتغلب على هذه التحديات، يقدم المؤلفون SAQR-QC، وهو منطق مصمم للتفكير الكمي القابل للتوسع ولكن التقريبي حول الدارات الكمومية. يتضمن SAQR-QC فقدانًا متعمدًا للدقة، ويحافظ على أخطاء متراكمة صغيرة أثناء التفكير،…

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