XDuce هي لغة برمجة ذات نوعية ثابتة مخصصة لمعالجة XML. تقوم اللغة بتمثيل قيمها الأساسية على شكل مستندات XML، وتعرض أنواعها (المعروفة باسم أنواع التعبير العادي) بشكل مباشر مخططات المستندات. توفر XDuce أيضًا نوعًا مرنًا من مطابقة أنماط التعبير العادي، حيث تدمج فروع التفرع الشرطي، وفحص العلامة، واستخراج الجزء الفرعي، بالإضافة إلى التحقق من النوع الديناميكي. يتمثل هدفنا في استعراض مبادئ تصميم XDuce، وتطوير أمثلة توضيحية توضح ميزاتها الرئيسية، ووصف أسسها في نظرية الآلات الشجرية العادية، وتقديم تعريف شامل وصياغة رسمية لنواها، إلى جانب إثبات سلامة النوع. تم تطوير XDuce من قبل هاروو هوسويا وبنجامين سي. بيرس في عام 2003.
0
